Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 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 edb982abaa
commit 3d0e42a844
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 = removeLocks v c =
filter $ \(ProposalLock pid action) -> filter $ \(ProposalLock pid action) ->
pid == defProposalId pid == defProposalId
&& case action of && not
Voted _ _ -> v ( case action of
_ -> c Voted _ _ -> v
_ -> c
)
stakeOutputDatum = stakeOutputDatum =
stakeInputDatum stakeInputDatum

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

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