Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve logging for state machine testing #481

Open
thomaseizinger opened this issue Jul 10, 2024 · 0 comments
Open

Improve logging for state machine testing #481

thomaseizinger opened this issue Jul 10, 2024 · 0 comments
Labels
quality-of-life This issue proposes a change that will improve the UX of proptest but isn't necessarily a "feature"

Comments

@thomaseizinger
Copy link
Contributor

Our state machine tests are becoming quite complex and often, it is getting difficult to diagnose the real problem of a failure because proptest isn't able to shrink it all the way. This is usually a bug where some precondition isn't correctly set.

The difficulty is fining out, which one is missing because proptest doesn't say, what it is currently doing (shrink from A -> B for example) or remove a certain transition.

Would you accept a PR that adds log or tracing and adds the corresponding statements?

@matthew-russo matthew-russo added the quality-of-life This issue proposes a change that will improve the UX of proptest but isn't necessarily a "feature" label Jul 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
quality-of-life This issue proposes a change that will improve the UX of proptest but isn't necessarily a "feature"
Projects
None yet
Development

No branches or pull requests

2 participants