Add mutation spec to check validator fails if the list of contesters …

…is wrong in the output datum
input-output-hk · Feb 6, 2023 · e0a6853 · e0a6853
1 parent 7ae84bb
commit e0a6853
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 2 deletions.
diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Close.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Close.hs
@@ -40,7 +40,10 @@ import Hydra.Ledger.Cardano.Evaluate (genValidityBoundsFromContestationPeriod)
 import Hydra.Party (Party, deriveParty, partyToChain)
 import Hydra.Snapshot (Snapshot (..), SnapshotNumber)
 import Plutus.Orphans ()
+<<<<<<< HEAD
 import qualified Plutus.V1.Ledger.Api as Plutus
+=======
+>>>>>>> b306ecada (Add mutation spec to check validator fails if the list of contesters is wrong in the output datum)
 import Plutus.V1.Ledger.Time (DiffMilliSeconds (..), fromMilliSeconds)
 import Plutus.V2.Ledger.Api (BuiltinByteString, POSIXTime, toBuiltin, toData)
 import Test.Hydra.Fixture (aliceSk, bobSk, carolSk)
@@ -280,7 +283,7 @@ genCloseMutation (tx, _utxo) =
             ]
     , SomeMutation (Just "minting or burning is forbidden") MutateTokenMintingOrBurning
         <$> (changeMintedTokens tx =<< genMintedOrBurnedValue)
-    , SomeMutation Nothing MutateContestors . ChangeOutput 0 <$> mutateCloseContesters
+    , SomeMutation Nothing MutateContesters . ChangeOutput 0 <$> mutateCloseContesters
     ]
  where
   genOversizedTransactionValidity = do

diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Contest.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Contest.hs
@@ -35,9 +35,10 @@ import Hydra.Ledger.Cardano.Evaluate (slotNoToUTCTime)
 import Hydra.Party (Party, deriveParty, partyToChain)
 import Hydra.Snapshot (Snapshot (..), SnapshotNumber)
 import Plutus.Orphans ()
+import qualified Plutus.V1.Ledger.Api as Plutus
 import Plutus.V2.Ledger.Api (BuiltinByteString, toBuiltin, toData)
 import Test.Hydra.Fixture (aliceSk, bobSk, carolSk)
-import Test.QuickCheck (elements, oneof, suchThat)
+import Test.QuickCheck (elements, oneof, suchThat, vectorOf)
 import Test.QuickCheck.Gen (choose)
 import Test.QuickCheck.Instances ()
 
@@ -242,10 +243,30 @@ genContestMutation
               , headId = toPlutusCurrencySymbol testPolicyId
               , contesters = [contester]
               }
+      , SomeMutation Nothing MutateContesters . ChangeOutput 0 <$> mutateClosedContesters
       ]
    where
     headTxOut = fromJust $ txOuts' tx !!? 0
 
+    mutateClosedContesters :: Gen (TxOut CtxTx)
+    mutateClosedContesters = do
+      n <- elements [0, 2]
+      hashes <- vectorOf n genHash
+      let mutatedContesters = Plutus.PubKeyHash . toBuiltin <$> hashes
+      pure $ changeHeadOutputDatum (mutateContesters mutatedContesters) headTxOut
+
+    mutateContesters mutatedContesters = \case
+      Head.Closed{snapshotNumber, parties, contestationDeadline, headId, utxoHash} ->
+        Head.Closed
+          { snapshotNumber
+          , utxoHash
+          , parties
+          , contestationDeadline
+          , headId
+          , contesters = mutatedContesters
+          }
+      st -> error $ "unexpected state " <> show st
+
     mutateCloseUTxOHash :: Gen (TxOut CtxTx)
     mutateCloseUTxOHash = do
       mutatedUTxOHash <- genHash `suchThat` ((/= healthyContestUTxOHash) . toBuiltin)