ContestUsedDec AlterRedeemerDecommitHash

hydra-tx/test/Hydra/Tx/Contract/Contest/ContestUsedDec.hs

@@ -1,21 +1,33 @@
 {-# LANGUAGE DuplicateRecordFields #-}
-{-# OPTIONS_GHC -Wno-orphans #-}
 
 module Hydra.Tx.Contract.Contest.ContestUsedDec where
 
 import Hydra.Cardano.Api
 import Hydra.Prelude hiding (label)
 
-import Hydra.Tx.Contract.Contest.Healthy ()
+import Hydra.Contract.Error (toErrorCode)
+import Hydra.Contract.HeadError (HeadError (..))
+import Hydra.Contract.HeadState qualified as Head
+import Hydra.Tx.Crypto (toPlutusSignatures)
+
+import Hydra.Tx.Contract.Contest.Healthy (healthyContestSnapshotNumber, healthySignature)
 import Test.Hydra.Tx.Mutation (
+  Mutation (..),
   SomeMutation (..),
  )
-import Test.QuickCheck (oneof)
 import Test.QuickCheck.Instances ()
 
-data ContestUsedDecMutation = ContestUsedDecMutation
+data ContestUsedDecMutation
+  = AlterRedeemerDecommitHash
   deriving stock (Generic, Show, Enum, Bounded)
 
 genContestUsedDecMutation :: (Tx, UTxO) -> Gen SomeMutation
 genContestUsedDecMutation (_tx, _utxo) =
-  oneof []
+  SomeMutation (pure $ toErrorCode FailedContestUsedDec) AlterRedeemerDecommitHash <$> do
+    pure $
+      ChangeHeadRedeemer $
+        Head.Contest
+          Head.ContestUsedDec
+            { signature = toPlutusSignatures (healthySignature healthyContestSnapshotNumber)
+            , alreadyDecommittedUTxOHash = mempty
+            }

hydra-tx/test/Hydra/Tx/Contract/ContractSpec.hs

@@ -40,6 +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.Healthy (healthyContestTx)
 import Hydra.Tx.Contract.Decrement (genDecrementMutation, healthyDecrementTx)
 import Hydra.Tx.Contract.Deposit (healthyDepositTx)
@@ -148,6 +149,11 @@ spec = parallel $ do
       propTransactionEvaluates healthyContestTx
     prop "does not survive random adversarial mutations" $
       propMutation healthyContestTx genContestMutation
+  describe "ContestUsedDec" $ do
+    prop "is healthy" $
+      propTransactionEvaluates healthyContestTx
+    prop "does not survive random adversarial mutations" $
+      propMutation healthyContestTx genContestUsedDecMutation
   describe "Fanout" $ do
     prop "is healthy" $
       propTransactionEvaluates healthyFanoutTx