remove redundant checks from the governor validator
This commit is contained in:
parent
9b858079dd
commit
640db17e5e
1 changed files with 0 additions and 26 deletions
|
|
@ -45,7 +45,6 @@ import Agora.Scripts (
|
||||||
stakeSTSymbol,
|
stakeSTSymbol,
|
||||||
)
|
)
|
||||||
import Agora.Stake (
|
import Agora.Stake (
|
||||||
PProposalLock (..),
|
|
||||||
PStakeDatum (..),
|
PStakeDatum (..),
|
||||||
pnumCreatedProposals,
|
pnumCreatedProposals,
|
||||||
)
|
)
|
||||||
|
|
@ -469,31 +468,6 @@ governorValidator as =
|
||||||
#&& proposalOutputDatumF.timingConfig #== governorInputDatumF.proposalTimings
|
#&& proposalOutputDatumF.timingConfig #== governorInputDatumF.proposalTimings
|
||||||
]
|
]
|
||||||
|
|
||||||
-- Check the output stake has been properly updated.
|
|
||||||
|
|
||||||
let stakeOutputDatum =
|
|
||||||
passertPJust # "Output stake should be presented"
|
|
||||||
#$ pfindJust
|
|
||||||
# getStakeDatum
|
|
||||||
# pfromData txInfoF.outputs
|
|
||||||
|
|
||||||
stakeOutputLocks =
|
|
||||||
pfromData $ pfield @"lockedBy" # stakeOutputDatum
|
|
||||||
|
|
||||||
-- The stake should be locked by the newly created proposal.
|
|
||||||
newLock =
|
|
||||||
mkRecordConstr
|
|
||||||
PCreated
|
|
||||||
( #created .= governorInputDatumF.nextProposalId
|
|
||||||
)
|
|
||||||
|
|
||||||
-- Append new locks to existing locks
|
|
||||||
expectedProposalLocks =
|
|
||||||
pcons # pdata newLock # stakeInputDatumF.lockedBy
|
|
||||||
|
|
||||||
pguardC "Stake output locks correct" $
|
|
||||||
plistEquals # stakeOutputLocks # expectedProposalLocks
|
|
||||||
|
|
||||||
pure $ popaque $ pconstant ()
|
pure $ popaque $ pconstant ()
|
||||||
|
|
||||||
------------------------------------------------------------------------
|
------------------------------------------------------------------------
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue