You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
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.
The text was updated successfully, but these errors were encountered: