From 9dfb73550a59eb2fdbe5c8ed6113cbdcd0b740bd Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Fri, 25 Nov 2022 18:42:39 +0800 Subject: [PATCH] fix tests --- agora-specs/Sample/Proposal/Unlock.hs | 8 +++++--- agora-specs/Spec/Proposal.hs | 2 +- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/agora-specs/Sample/Proposal/Unlock.hs b/agora-specs/Sample/Proposal/Unlock.hs index 7e86ef1..4a4731d 100644 --- a/agora-specs/Sample/Proposal/Unlock.hs +++ b/agora-specs/Sample/Proposal/Unlock.hs @@ -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 diff --git a/agora-specs/Spec/Proposal.hs b/agora-specs/Spec/Proposal.hs index c0624c7..06eaf2d 100644 --- a/agora-specs/Spec/Proposal.hs +++ b/agora-specs/Spec/Proposal.hs @@ -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)