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

Feature request: automatically persist failure cases and prioritise their reproduction in the following test runs. #970

Open
tribbloid opened this issue Jun 7, 2023 · 1 comment

Comments

@tribbloid
Copy link

In property-based testing, any property should be guaranteed with maximum certainty, a fake assumption that passed all test by mistake may cause catastrophic damage much later.

As a result, failed property check should be automatically persisted to disk, and be given higher priority in the upcoming test runs. The history of all previous failures can be used to determine probability of random test cases being generated.

The current implementation is incapable of doing this, this can results in sporadic failures being ignored and accumulates.

We need an improved implementation to prevent it from happening.

@rossabaker
Copy link
Member

Where would it persist to disk by default? Or would it be opt in?

I usually take the inputs and make an explicit test case for it, but this is admittedly manual. It also means I'm not probabilistically checking for regressions, but guaranteed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants