Merge contest used and unused mutations

cardano-scaling · Oct 30, 2024 · ef3ffc6 · ef3ffc6
1 parent 65680bb
commit ef3ffc6
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 15 deletions.
diff --git a/hydra-tx/hydra-tx.cabal b/hydra-tx/hydra-tx.cabal
@@ -161,7 +161,7 @@ test-suite tests
     Hydra.Tx.Contract.CollectCom
     Hydra.Tx.Contract.Commit
     Hydra.Tx.Contract.Contest.ContestCurrent
-    Hydra.Tx.Contract.Contest.ContestUsedDec
+    Hydra.Tx.Contract.Contest.ContestDec
     Hydra.Tx.Contract.Contest.Healthy
     Hydra.Tx.Contract.ContractSpec
     Hydra.Tx.Contract.Decrement

diff --git a/...dra/Tx/Contract/Contest/ContestUsedDec.hs → ...t/Hydra/Tx/Contract/Contest/ContestDec.hs b/...dra/Tx/Contract/Contest/ContestUsedDec.hs → ...t/Hydra/Tx/Contract/Contest/ContestDec.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE DuplicateRecordFields #-}
 
-module Hydra.Tx.Contract.Contest.ContestUsedDec where
+module Hydra.Tx.Contract.Contest.ContestDec where
 
 import Hydra.Cardano.Api
 import Hydra.Prelude hiding (label)
@@ -27,24 +27,24 @@ import Test.Hydra.Tx.Mutation (
 import Test.QuickCheck (arbitrarySizedNatural, oneof, suchThat)
 import Test.QuickCheck.Instances ()
 
-data ContestUsedDecMutation
-  = AlterRedeemerDecommitHash
-  | AlterDatumDeltaUTxOHash
-  | MutateSnapshotVersion
+data ContestDecMutation
+  = ContestUsedDecAlterRedeemerDecommitHash
+  | ContestUsedDecAlterDatumDeltaUTxOHash
+  | ContestUsedDecMutateSnapshotVersion
   deriving stock (Generic, Show, Enum, Bounded)
 
-genContestUsedDecMutation :: (Tx, UTxO) -> Gen SomeMutation
-genContestUsedDecMutation (tx, _utxo) =
+genContestDecMutation :: (Tx, UTxO) -> Gen SomeMutation
+genContestDecMutation (tx, _utxo) =
   oneof
-    [ SomeMutation (pure $ toErrorCode FailedContestUsedDec) AlterRedeemerDecommitHash <$> do
+    [ SomeMutation (pure $ toErrorCode FailedContestUsedDec) ContestUsedDecAlterRedeemerDecommitHash <$> do
         pure $
           ChangeHeadRedeemer $
             Head.Contest
               Head.ContestUsedDec
                 { signature = toPlutusSignatures (healthySignature healthyContestSnapshotNumber)
                 , alreadyDecommittedUTxOHash = mempty
                 }
-    , SomeMutation (pure $ toErrorCode FailedContestUsedDec) AlterRedeemerDecommitHash <$> do
+    , SomeMutation (pure $ toErrorCode FailedContestUsedDec) ContestUsedDecAlterRedeemerDecommitHash <$> do
         mutatedHash <- arbitrary `suchThat` (/= mempty)
         pure $
           ChangeHeadRedeemer $
@@ -53,10 +53,10 @@ genContestUsedDecMutation (tx, _utxo) =
                 { signature = toPlutusSignatures (healthySignature healthyContestSnapshotNumber)
                 , alreadyDecommittedUTxOHash = mutatedHash
                 }
-    , SomeMutation (pure $ toErrorCode SignatureVerificationFailed) AlterDatumDeltaUTxOHash . ChangeOutput 0 <$> do
+    , SomeMutation (pure $ toErrorCode SignatureVerificationFailed) ContestUsedDecAlterDatumDeltaUTxOHash . ChangeOutput 0 <$> do
         mutatedHash <- arbitrary `suchThat` (/= mempty)
         pure $ headTxOut & modifyInlineDatum (replaceDeltaUTxOHash mutatedHash)
-    , SomeMutation (pure $ toErrorCode MustNotChangeVersion) MutateSnapshotVersion <$> do
+    , SomeMutation (pure $ toErrorCode MustNotChangeVersion) ContestUsedDecMutateSnapshotVersion <$> do
         mutatedSnapshotVersion <- arbitrarySizedNatural `suchThat` (/= healthyCloseSnapshotVersion)
         pure $ ChangeOutput 0 $ modifyInlineDatum (replaceSnapshotVersion $ toInteger mutatedSnapshotVersion) headTxOut
     ]

diff --git a/hydra-tx/test/Hydra/Tx/Contract/ContractSpec.hs b/hydra-tx/test/Hydra/Tx/Contract/ContractSpec.hs
@@ -40,7 +40,7 @@ import Hydra.Tx.Contract.Close.CloseUsed (genCloseOutdatedMutation, healthyClose
 import Hydra.Tx.Contract.CollectCom (genCollectComMutation, healthyCollectComTx)
 import Hydra.Tx.Contract.Commit (genCommitMutation, healthyCommitTx)
 import Hydra.Tx.Contract.Contest.ContestCurrent (genContestMutation)
-import Hydra.Tx.Contract.Contest.ContestUsedDec (genContestUsedDecMutation)
+import Hydra.Tx.Contract.Contest.ContestDec (genContestDecMutation)
 import Hydra.Tx.Contract.Contest.Healthy (healthyContestTx)
 import Hydra.Tx.Contract.Decrement (genDecrementMutation, healthyDecrementTx)
 import Hydra.Tx.Contract.Deposit (healthyDepositTx)
@@ -149,11 +149,11 @@ spec = parallel $ do
       propTransactionEvaluates healthyContestTx
     prop "does not survive random adversarial mutations" $
       propMutation healthyContestTx genContestMutation
-  describe "ContestUsedDec" $ do
+  describe "ContestDec" $ do
     prop "is healthy" $
       propTransactionEvaluates healthyContestTx
     prop "does not survive random adversarial mutations" $
-      propMutation healthyContestTx genContestUsedDecMutation
+      propMutation healthyContestTx genContestDecMutation
   describe "Fanout" $ do
     prop "is healthy" $
       propTransactionEvaluates healthyFanoutTx