WIP: improve shrinking, fix bugs exposed by new swallowed exceptions …

…test
IntersectMBO · Feb 21, 2025 · 9354949 · 9354949
1 parent 56ee7a4
commit 9354949
Show file tree

Hide file tree

Showing 5 changed files with 267 additions and 132 deletions.
diff --git a/cabal.project.release b/cabal.project.release
@@ -43,8 +43,8 @@ source-repository-package
     fs-api
     fs-sim
 
--- quickcheck-lockstep with more verbose counterexamples
+-- quickcheck-lockstep with shrinking for variables
 source-repository-package
   type: git
   location: https://github.com/well-typed/quickcheck-lockstep
-  tag: 845cd66d03d0410618c660dbcb21f58f66cf0931
+  tag: b511080f0344ba788bb3af2fb834a41c74af4ded