proptest-rs / proptest

Hypothesis-like property testing for Rust
Apache License 2.0
1.69k stars 158 forks source link

failed test seed is not printed when the regressions file exists #345

Closed tzemanovic closed 1 year ago

tzemanovic commented 1 year ago

When a failed test case is discovered, the seed is not printed to stdout stderr unless the regressions file doesn't not yet exists. This is inconvenient for e.g. CI runs that will usually not persist the changes so it's not possible to recover the seed