Skip to content

Commit

Permalink
Make plutus test pass with &&
Browse files Browse the repository at this point in the history
  • Loading branch information
ch1bo committed Jul 29, 2021
1 parent ce6e38c commit ab45e9e
Showing 1 changed file with 5 additions and 7 deletions.
12 changes: 5 additions & 7 deletions hydra-plutus/src/Hydra/Contract/OnChain.hs
Original file line number Diff line number Diff line change
Expand Up @@ -88,13 +88,11 @@ hydraValidator HeadParameters{participants, policyId} s i ctx =
Open committedOutputs
amountPaid =
foldMap txOutValue collectComUtxos
in and
[ mustBeSignedByOneOf participants ctx
, all (mustForwardParty ctx policyId) participants
, checkScriptContext @(RedeemerType Hydra) @(DatumType Hydra)
(mustPayToTheScript newState amountPaid)
ctx
]
in mustBeSignedByOneOf participants ctx
&& all (mustForwardParty ctx policyId) participants
&& checkScriptContext @(RedeemerType Hydra) @(DatumType Hydra)
(mustPayToTheScript newState amountPaid)
ctx
(Initial, Abort) ->
let newState =
Final
Expand Down

0 comments on commit ab45e9e

Please sign in to comment.