Show number of tests and stamps on fscheck test pass

Auspice-Capital · Dec 17, 2024 · 40cbf98 · 40cbf98
1 parent ae8a68e
commit 40cbf98
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/Expecto.FsCheck/FsCheck.fs b/Expecto.FsCheck/FsCheck.fs
@@ -42,7 +42,11 @@ module ExpectoFsCheck =
               | xs  -> sprintf "%s\n" (String.concat "\n" xs)
 
             match testResult with
-            | TestResult.True (_testData,_b) -> ()
+            | TestResult.True (data,suppressOutput) ->
+              if not suppressOutput then
+                $"Passed {numTests data.NumberOfTests}.\n{stampsToString data.Stamps}"
+                |> PassWithMessage
+                |> raise
 
             | TestResult.False (_,_,_, Outcome.Exception (:? IgnoreException as e),_) ->
               raise e

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -1,7 +1,8 @@
 ### 11.0.0-alpha4 - 2024-12-16
-* Allow quietOnSuccess and maxRejected fscheck config
 * Tests can now pass with a message
-  * `TestPrinters` now has a new field `passedWithMessage` which may need to be implemented for custom printers
+    * `TestPrinters` now has a new field `passedWithMessage` which may need to be implemented for custom printers
+* Allow quietOnSuccess and maxRejected fscheck config
+  * When `quietOnSuccess` is false, the number of tests and stamps (`Prop.collect/classify/trivial` etc) will be shown when the test passes.
 
 ### 11.0.0-alpha3 - 2024-10-13
 * Add testParamAsync and testParamTask (#512), thanks @1eyewonder