s-r-p for quickcheck-lockstep with more verbose counterexamples

This is useful for debugging test failures in the presence of disk faults.
IntersectMBO · Jan 15, 2025 · b218988 · b218988
1 parent 3337664
commit b218988
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/cabal.project.release b/cabal.project.release
@@ -37,4 +37,10 @@ source-repository-package
   tag: 22ca7c9972c2a9ee9633d2c05dddd010d2938094
   subdir:
     fs-api
-    fs-sim
+    fs-sim
+
+-- quickcheck-lockstep with more verbose counterexamples
+source-repository-package
+  type: git
+  location: https://github.com/well-typed/quickcheck-lockstep
+  tag: 845cd66d03d0410618c660dbcb21f58f66cf0931