Merge pull request #531 from IntersectMBO/jdral/qls-srp

dcoutts · web-flow · commit a10f18833404 · 2025-01-20T10:33:38.000Z
`s-r-p` for `quickcheck-lockstep` with more verbose counterexamples
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
