diff --git a/hydra-node/test/Hydra/Chain/Direct/Contract/Abort.hs b/hydra-node/test/Hydra/Chain/Direct/Contract/Abort.hs index b9b054cb5c9..185f3f89c5e 100644 --- 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 index de6c7c65d44..fe5174de3d8 100644 --- 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 index 736578bd202..1af2bdcf933 100644 --- 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 -- @