Decrement mutation: check signature by altering redeemer

input-output-hk · May 7, 2024 · c6f3975 · c6f3975
1 parent 8bfc4c0
commit c6f3975
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Decrement.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Decrement.hs
@@ -153,6 +153,7 @@ data DecrementMutation
     --
     -- Ensures the snapshot number is aligned.
     MutateSnapshotNumber
+  | SnapshotSignatureInvalid
   deriving stock (Generic, Show, Enum, Bounded)
 
 genDecrementMutation :: (Tx, UTxO) -> Gen SomeMutation
@@ -164,6 +165,8 @@ genDecrementMutation (tx, _utxo) =
     , SomeMutation (Just $ toErrorCode SnapshotNumberMismatch) MutateSnapshotNumber <$> do
         mutatedSnapshotNumber <- arbitrarySizedNatural `suchThat` (< healthySnapshotNumber)
         pure $ ChangeOutput 0 $ modifyInlineDatum (replaceSnapshotNumberInOpen $ toInteger mutatedSnapshotNumber) headTxOut
+    , SomeMutation (Just $ toErrorCode SignatureVerificationFailed) SnapshotSignatureInvalid . ChangeHeadRedeemer <$> do
+        Head.Decrement . toPlutusSignatures <$> (arbitrary :: Gen (MultiSignature (Snapshot Tx)))
     ]
  where
   headTxOut = fromJust $ txOuts' tx !!? 0