Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix tests

Browse source
This commit is contained in:
Hongrui Fang 2022-11-25 18:42:39 +08:00
parent cefc6740f0
commit 9dfb73550a
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD
2 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
agora-specs/Sample/Proposal/Unlock.hs
View file

@ -310,9 +310,11 @@ unlock ps = builder
removeLocks v c =
filter $ \(ProposalLock pid action) ->
pid == defProposalId
&& case action of
Voted _ _ -> v
_ -> c
&& not
( case action of
Voted _ _ -> v
_ -> c
)
stakeOutputDatum =
stakeInputDatum

2
agora-specs/Spec/Proposal.hs
View file

@ -424,7 +424,7 @@ specs =
, Unlock.mkTestTree
"unlock an irrelevant stake"
(Unlock.mkUnockIrrelevantStakes nStakes)
(Unlock.Validity False True)
(Unlock.Validity False False)
, Unlock.mkTestTree
"creator: retract votes"
(Unlock.mkCreatorRetractVotes nStakes)