print failed seed even if the regressions file exists (#347)

* print failed seed even if the regressions file exists * CHANGELOG: add #347
proptest-rs · Jul 29, 2023 · 8586d8d · 8586d8d
1 parent 160c3d1
commit 8586d8d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/proptest/CHANGELOG.md b/proptest/CHANGELOG.md
@@ -7,6 +7,7 @@
 ### Other Notes
 
 - `regex-syntax` version 0.7 is now used.
+- Print a seed to stderr for a failed test even when a regressions file is already present.
 
 ## 1.2.0
 

diff --git a/proptest/src/test_runner/failure_persistence/file.rs b/proptest/src/test_runner/failure_persistence/file.rs
@@ -150,7 +150,7 @@ impl FailurePersistence for FileFailurePersistence {
                     path.display(),
                     e
                 );
-            } else if is_new {
+            } else {
                 eprintln!(
                     "proptest: Saving this and future failures in {}\n\
                      proptest: If this test was run on a CI system, you may \