Use tasty-quickcheck-0.11 (#1161)

From the
[changelog](https://hackage.haskell.org/package/tasty-quickcheck-0.11/changelog):

> Produce seeds that run a single failing tests instead of reproducing
all the earlier successes
([#410](UnkindPartition/tasty#410)).
>
> Seeds are now pairs instead of single integers, e.g.
`--quickcheck-replay="(SMGen 2909028190965759779
12330386376379709109,0)"`
>
> Single integer seeds are still accepted as input, but they do run
through earlier successes.
>
> The `QuickCheckReplay` type used as a tasty option has three data
constructors now. `QuickCheckReplayNone` is the default value and
provides no seed. `QuickCheckReplayLegacy` takes an integer as before.
The `QuickCheckReplay` data constructor takes the new seed form.

This is very useful both for slow tests, as well as for the WIP nightly
tests.

Author: amesgen

cabal.project

@@ -14,7 +14,7 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump this if you need newer packages from Hackage
-  , hackage.haskell.org 2024-06-13T08:49:27Z
+  , hackage.haskell.org 2024-06-23T23:01:13Z
   -- Bump this if you need newer packages from CHaP
   , cardano-haskell-packages 2024-06-18T14:00:00Z
 

flake.lock

@@ -419,7 +419,7 @@ library unstable-consensus-testlib
     tasty,
     tasty-golden,
     tasty-hunit,
-    tasty-quickcheck,
+    tasty-quickcheck >=0.11,
     template-haskell,
     text,
     time,