Merge pull request #1444 from input-output-hk/lc/quickcheck-dynamic-3.4

Update quickcheck dynamic to 3.4
cardano-scaling · May 22, 2024 · 95dcae7 · 95dcae7
2 parents b7fbf19 + 2ce04cc
commit 95dcae7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/hydra-node/hydra-node.cabal b/hydra-node/hydra-node.cabal
@@ -368,7 +368,7 @@ test-suite tests
     , plutus-tx
     , pretty-simple
     , QuickCheck
-    , quickcheck-dynamic                                                >=3.3.1   && <3.4
+    , quickcheck-dynamic                                                >=3.4     && <3.5
     , quickcheck-instances
     , random
     , regex-tdfa

diff --git a/hydra-node/test/Hydra/ModelSpec.hs b/hydra-node/test/Hydra/ModelSpec.hs
@@ -247,11 +247,11 @@ headOpensIfAllPartiesCommit = do
  where
   eventually' a = action (Wait 1000) >> action_ a
 
-  seedTheWorld = forAllNonVariableQ (withGenQ genSeed (const [])) >>= action_
+  seedTheWorld = forAllNonVariableQ (withGenQ genSeed (const True) (const [])) >>= action_
 
   initHead = do
     WorldState{hydraParties} <- getModelStateDL
-    forAllQ (withGenQ (genInit hydraParties) (const [])) >>= action_
+    forAllQ (withGenQ (genInit hydraParties) (const True) (const [])) >>= action_
 
   everybodyCommit = do
     WorldState{hydraParties, hydraState} <- getModelStateDL
@@ -436,7 +436,7 @@ runRunMonadIOSimGen f = do
 
 nonConflictingTx :: WorldState -> Quantification (Party, Payment.Payment)
 nonConflictingTx st =
-  withGenQ (genPayment st) (const [])
+  withGenQ (genPayment st) (const True) (const [])
     `whereQ` \(party, tx) -> precondition st (Model.NewTx party tx)
 
 eventually :: Action WorldState () -> DL WorldState ()