Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 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 5dee613dd4
commit b76b5c6ec6
11 changed files with 143 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

2
agora-specs/Spec/Effect/GovernorMutation.hs
View file

@ -38,6 +38,7 @@ specs =
(ProposalId 0)
def
def
3
)
MutateGovernor
( ScriptContext
@ -60,6 +61,7 @@ specs =
(ProposalId 0)
def
def
3
)
MutateGovernor
( ScriptContext

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

@ -47,6 +47,7 @@ specs =
(ProposalId 0)
def
def
3
)
CreateProposal
createProposal
@ -58,6 +59,7 @@ specs =
(ProposalId 5)
def
def
3
)
MintGATs
mintGATs
@ -69,6 +71,7 @@ specs =
(ProposalId 5)
def
def
3
)
MutateGovernor
mutateState