Update quickcheck-dynamic

cabal.project

@@ -89,3 +89,11 @@ source-repository-package
    subdir:
      ouroboros-network-api
      ouroboros-network
+
+source-repository-package
+   type: git
+   location: https://github.com/input-output-hk/quickcheck-dynamic
+   tag: 6e7e9109492f849fdb7bef04fe98de0c28d3614f
+   --sha256: sha256-zZ7WsMfRs1fG16bmvI5vIh4fhQ8RGyEvYGLSWlrxpg0=
+   subdir:
+     quickcheck-dynamic

ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/GSM.hs

@@ -525,6 +525,7 @@ wrapPositiveAction ::
   ( Show (QD.Action state a)
   , Eq (QD.Action state a)
   , Typeable a
+  , Show a
   ) =>
   QD.Action state a ->
   QD.Actions state

ouroboros-consensus/ouroboros-consensus.cabal

@@ -780,8 +780,6 @@ test-suite storage-test
     Test.Ouroboros.Storage.LedgerDB.Snapshots
     Test.Ouroboros.Storage.LedgerDB.StateMachine
     Test.Ouroboros.Storage.LedgerDB.StateMachine.TestBlock
-    Test.Ouroboros.Storage.LedgerDB.V1.BackingStore
-    Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep
     Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Mock
     Test.Ouroboros.Storage.LedgerDB.V1.DbChangelog
     Test.Ouroboros.Storage.LedgerDB.V1.LMDB
@@ -801,12 +799,10 @@ test-suite storage-test
     bifunctors,
     bytestring,
     cardano-binary,
-    cardano-ledger-binary:testlib,
     cardano-ledger-core:{cardano-ledger-core, testlib},
     cardano-slotting:{cardano-slotting, testlib},
     cardano-strict-containers,
     cborg,
-    constraints,
     containers,
     contra-tracer,
     diff-containers,
@@ -815,7 +811,7 @@ test-suite storage-test
     fs-api ^>=0.4,
     fs-sim ^>=0.4,
     generics-sop,
-    io-classes:{io-classes, strict-mvar, strict-stm},
+    io-classes:{strict-stm},
     io-sim,
     mempack,
     mtl,
@@ -826,7 +822,6 @@ test-suite storage-test
     ouroboros-network-protocols,
     pretty-show,
     quickcheck-dynamic,
-    quickcheck-lockstep ^>=0.8,
     quickcheck-state-machine:no-vendored-treediff ^>=0.10,
     random,
     resource-registry,

ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/LedgerDB.hs

@@ -9,7 +9,6 @@ import qualified Test.Ouroboros.Storage.LedgerDB.Serialisation as Serialisation
 import qualified Test.Ouroboros.Storage.LedgerDB.SnapshotPolicy as SnapshotPolicy
 import qualified Test.Ouroboros.Storage.LedgerDB.Snapshots as Snapshots
 import qualified Test.Ouroboros.Storage.LedgerDB.StateMachine as StateMachine
-import qualified Test.Ouroboros.Storage.LedgerDB.V1.BackingStore as BackingStore
 import qualified Test.Ouroboros.Storage.LedgerDB.V1.DbChangelog as DbChangelog
 import Test.Tasty (TestTree, testGroup)
 
@@ -19,8 +18,7 @@ tests =
     "LedgerDB"
     [ testGroup
         "V1"
-        [ BackingStore.tests
-        , DbChangelog.tests
+        [ DbChangelog.tests
         ]
     , -- Independent of the LedgerDB implementation
       SnapshotPolicy.tests

ouroboros-consensus/test/storage-test/Test/Ouroboros/Storage/LedgerDB/StateMachine.hs

@@ -604,6 +604,7 @@ data Environment
       !(ResourceRegistry IO)
 
 data LedgerDBError = ErrorValidateExceededRollback
+  deriving Show
 
 instance RunModel Model (StateT Environment IO) where
   type Error Model (StateT Environment IO) = LedgerDBError