Remove MutateHeadScriptInput since it is not relevant anymore for v_c…

…ommit
cardano-scaling · Jan 11, 2023 · 6ff7ab4 · 6ff7ab4
1 parent d1b9fc0
commit 6ff7ab4
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 13 deletions.
diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Abort.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Abort.hs
@@ -16,9 +16,7 @@ import Hydra.Chain.Direct.Contract.Mutation (
   Mutation (..),
   SomeMutation (..),
   addPTWithQuantity,
-  anyPayToPubKeyTxOut,
   changeMintedValueQuantityFrom,
-  headTxIn,
   replacePolicyIdWith,
  )
 import Hydra.Chain.Direct.Fixture (genForParty, testNetworkId, testPolicyId, testSeedInput)
@@ -129,7 +127,6 @@ propHasCommit (_, utxo) =
 data AbortMutation
   = MutateParties
   | DropOneCommitOutput
-  | MutateHeadScriptInput
   | BurnOneTokenMore
   | -- | Meant to test that the minting policy is burning all PTs present in tx
     MutateThreadTokenQuantity
@@ -143,7 +140,7 @@ data AbortMutation
   deriving (Generic, Show, Enum, Bounded)
 
 genAbortMutation :: (Tx, UTxO) -> Gen SomeMutation
-genAbortMutation (tx, utxo) =
+genAbortMutation (tx, _utxo) =
   oneof
     [ SomeMutation MutateParties . ChangeHeadDatum <$> do
         moreParties <- (: healthyParties) <$> arbitrary
@@ -152,7 +149,6 @@ genAbortMutation (tx, utxo) =
     , SomeMutation DropOneCommitOutput
         . RemoveOutput
         <$> choose (0, fromIntegral (length (txOuts' tx) - 1))
-    , SomeMutation MutateHeadScriptInput <$> (ChangeInput (headTxIn utxo) <$> anyPayToPubKeyTxOut <*> pure Nothing)
     , SomeMutation MutateThreadTokenQuantity <$> changeMintedValueQuantityFrom tx (-1)
     , SomeMutation BurnOneTokenMore <$> addPTWithQuantity tx (-1)
     , SomeMutation DropCollectedInput . RemoveInput <$> elements (txIns' tx)

diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/CollectCom.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/CollectCom.hs
@@ -13,10 +13,8 @@ import Data.Maybe (fromJust)
 import Hydra.Chain.Direct.Contract.Mutation (
   Mutation (..),
   SomeMutation (..),
-  anyPayToPubKeyTxOut,
   changeHeadOutputDatum,
   genHash,
-  headTxIn,
  )
 import Hydra.Chain.Direct.Fixture (
   genForParty,
@@ -156,7 +154,6 @@ healthyCommitOutput party committed =
 
 data CollectComMutation
   = MutateOpenUTxOHash
-  | MutateHeadScriptInput
   | MutateHeadTransition
   | -- | NOTE: We want to ccheck CollectCom validator checks there's exactly the
     -- expected number of commits. This is needed because the Head protocol
@@ -167,11 +164,9 @@ data CollectComMutation
   deriving (Generic, Show, Enum, Bounded)
 
 genCollectComMutation :: (Tx, UTxO) -> Gen SomeMutation
-genCollectComMutation (tx, utxo) =
+genCollectComMutation (tx, _utxo) =
   oneof
     [ SomeMutation MutateOpenUTxOHash . ChangeOutput 0 <$> mutateUTxOHash
-    , SomeMutation MutateHeadScriptInput
-        <$> (ChangeInput (headTxIn utxo) <$> anyPayToPubKeyTxOut <*> pure Nothing)
     , SomeMutation MutateHeadTransition <$> do
         changeRedeemer <- ChangeHeadRedeemer <$> (Head.Close 0 . toBuiltin <$> genHash <*> arbitrary)
         differencCurrencySymbol <- arbitrary `suchThat` (/= toPlutusCurrencySymbol testPolicyId)

diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Mutation.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Mutation.hs
@@ -89,7 +89,6 @@
 --   oneof
 --     [ SomeMutation MutateOpenOutputValue . ChangeOutput ...
 --     , SomeMutation MutateOpenUtxoHash . ChangeOutput ...
---     , SomeMutation MutateHeadScriptInput . ChangeInput ...
 --     , SomeMutation MutateHeadTransition <$> do
 --         changeRedeemer <- ChangeHeadRedeemer <$> ...
 --         changeDatum <- ChangeHeadDatum <$> ...
@@ -121,7 +120,6 @@
 --       30.5% MutateOpenUtxoHash
 --       27.0% MutateHeadTransition
 --       23.5% MutateOpenOutputValue
---       19.0% MutateHeadScriptInput
 --
 -- Finished in 18.1146 seconds
 -- @