Broaden version mutation for decrement

cardano-scaling · Jul 10, 2024 · 06919e1 · 06919e1
1 parent 4a7d6bd
commit 06919e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Decrement.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Decrement.hs
@@ -177,7 +177,7 @@ genDecrementMutation (tx, utxo) =
         pure $ ChangeOutput 0 $ modifyInlineDatum (replaceParties mutatedParties) headTxOut
     , -- New version v′ is incremented correctly
       SomeMutation (pure $ toErrorCode IncorrectVersion) UseDifferentSnapshotVersion <$> do
-        mutatedSnapshotVersion <- arbitrarySizedNatural `suchThat` (> healthySnapshotVersion + 1)
+        mutatedSnapshotVersion <- arbitrarySizedNatural `suchThat` (/= healthySnapshotVersion + 1)
         pure $ ChangeOutput 0 $ modifyInlineDatum (replaceSnapshotVersionInOpen $ toInteger mutatedSnapshotVersion) headTxOut
     , -- XXX: Decrement snapshot number s′ is higher than the currently stored snapshot number s
       SomeMutation (pure $ toErrorCode SnapshotNumberMismatch) UseDifferentSnapshotNumber <$> do