Skip to content

Commit

Permalink
Explain why we keep this single mutation for initial close
Browse files Browse the repository at this point in the history
  • Loading branch information
pgrange committed Jan 31, 2023
1 parent ed6e183 commit 3b3e734
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions hydra-node/test/Hydra/Chain/Direct/Contract/Close.hs
Original file line number Diff line number Diff line change
Expand Up @@ -267,6 +267,12 @@ data CloseInitialMutation
= MutateCloseContestationDeadline'
deriving (Generic, Show, Enum, Bounded)

-- | Mutations for the specific case of closing with the intial state.
-- We should probably validate all the mutation to this initial state but at
-- least we keep this regression test as we stumbled upon problems with the following case.
-- The nice thing to do would probably to generate either "normal" healthy close or
-- or initial healthy close and apply all the mutation to it but we did'nt manage to do that
-- rightaway.
genCloseInitialMutation :: (Tx, UTxO) -> Gen SomeMutation
genCloseInitialMutation (tx, _utxo) =
oneof
Expand Down

0 comments on commit 3b3e734

Please sign in to comment.