tests
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Chain.Direct.Contract.Abort

Description

Mutation-based script validator tests for the abort transaction where a healthyAbortTx gets mutated by an arbitrary AbortMutation.

Documentation

healthyAbortTx :: HasCallStack => (Tx, UTxO) Source #

healthyHeadInput :: TxIn Source #

healthyHeadParameters :: HeadParameters Source #

healthyInitials :: [(TxIn, TxOut CtxUTxO)] Source #

healthyCommits :: [(TxIn, TxOut CtxUTxO, UTxO)] Source #

healthyParties :: [Party] Source #

propHasInitial :: (Tx, UTxO) -> Property Source #

propHasCommit :: (Tx, UTxO) -> Property Source #

data AbortMutation Source #

Constructors

MutateParties

Add one more party to the hydra keys. This is essentialy the same as not collecting all inputs.

DropCollectedInput

Not collect one committed UTxO by removing the input and not burn the corresponding PT.

DropOneCommitOutput

Not reimburse one of the parties.

BurnOneTokenMore

Burning one PT more. This should be an impossible situation, but it is tested nontheless.

MutateThreadTokenQuantity

Meant to test that the minting policy is burning all PTs present in tx

MutateRequiredSigner

Check an arbitrary key cannot authenticate abort.

MutateUseDifferentHeadToAbort

Use a different head output to abort.

UseInputFromOtherHead

Spend some abortable output from a different Head e.g. replace a commit by another commit from a different Head.

ReorderCommitOutputs

Re-ordering outputs would not be a big deal, but it is still prevented.

MintOnAbort

Only burning should be allowed in abort (by the minting policy).

ExtractValue

Not spend from v_head and also not burn anything to extract value.

DoNotBurnST

State token is not burned

DoNotBurnSTInitial

Here we want to check that the initial validator also fails on abort.

Instances

Instances details
Bounded AbortMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Abort

Methods

minBound :: AbortMutation Source #

maxBound :: AbortMutation Source #

Enum AbortMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Abort

Methods

succ :: AbortMutation -> AbortMutation Source #

pred :: AbortMutation -> AbortMutation Source #

toEnum :: Int -> AbortMutation Source #

fromEnum :: AbortMutation -> Int Source #

enumFrom :: AbortMutation -> [AbortMutation] Source #

enumFromThen :: AbortMutation -> AbortMutation -> [AbortMutation] Source #

enumFromTo :: AbortMutation -> AbortMutation -> [AbortMutation] Source #

enumFromThenTo :: AbortMutation -> AbortMutation -> AbortMutation -> [AbortMutation] Source #

Generic AbortMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Abort

Associated Types

type Rep AbortMutation :: Type -> Type Source #

Methods

from :: AbortMutation -> Rep AbortMutation x Source #

to :: Rep AbortMutation x -> AbortMutation Source #

Show AbortMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Abort

Methods

showsPrec :: Int -> AbortMutation -> ShowS Source #

show :: AbortMutation -> String Source #

showList :: [AbortMutation] -> ShowS Source #

type Rep AbortMutation Source # 
Instance details

Defined in Hydra.Chain.Direct.Contract.Abort

type Rep AbortMutation = D1 ('MetaData "AbortMutation" "Hydra.Chain.Direct.Contract.Abort" "main" 'False) (((C1 ('MetaCons "MutateParties" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DropCollectedInput" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DropOneCommitOutput" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "BurnOneTokenMore" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MutateThreadTokenQuantity" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MutateRequiredSigner" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MutateUseDifferentHeadToAbort" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UseInputFromOtherHead" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ReorderCommitOutputs" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "MintOnAbort" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtractValue" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DoNotBurnST" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoNotBurnSTInitial" 'PrefixI 'False) (U1 :: Type -> Type)))))

genAbortMutation :: (Tx, UTxO) -> Gen SomeMutation Source #