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

fix existing tests

Browse source
This commit is contained in:
Hongrui Fang 2022-07-08 20:38:38 +08:00
parent 96a50419d1
commit 1865c5cf38
No known key found for this signature in database
GPG key ID: 1C4711FFF64C0254
11 changed files with 143 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

3
agora-specs/Property/Governor.hs
View file

@ -106,7 +106,7 @@ governorDatumValidProperty =
thres <- genProposalThresholds c
let timing = ProposalTimingConfig 0 0 0 0
return $ GovernorDatum thres (ProposalId 0) timing (MaxTimeRangeWidth 0)
return $ GovernorDatum thres (ProposalId 0) timing (MaxTimeRangeWidth 0) 3
where
taggedInteger p = Tagged <$> chooseInteger p
genProposalThresholds :: GovernorDatumCases -> Gen ProposalThresholds
@ -181,6 +181,7 @@ governorMintingProperty =
, nextProposalId = ProposalId 0
, proposalTimings = def
, createProposalTimeRangeMaxWidth = def
, maximumProposalsPerStake = 3
}
gen :: GovernorPolicyCases -> Gen ScriptContext