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

better naming

Browse source
This commit is contained in:
fanghr 2022-05-20 19:10:34 +08:00
parent dba8b3c68b
commit 272be9f1f5
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
2 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

18
agora-test/Spec/Effect/GovernorMutation.hs
View file

@ -10,7 +10,7 @@ import Sample.Effect.GovernorMutation (
govRef,
invalidNewGovernorDatum,
mkEffectDatum,
mkEffectTransaction,
mkEffectTxInfo,
validNewGovernorDatum,
)
import Sample.Shared qualified as Shared
@ -24,7 +24,7 @@ tests =
[ testGroup
"valid new governor datum"
[ validatorSucceedsWith
"governor"
"governor validator should pass"
(governorValidator Shared.governor)
( GovernorDatum
{ proposalThresholds = Shared.defaultProposalThresholds
@ -33,19 +33,19 @@ tests =
)
MutateGovernor
( ScriptContext
(mkEffectTransaction validNewGovernorDatum)
(mkEffectTxInfo validNewGovernorDatum)
(Spending govRef)
)
, effectSucceedsWith
"effect"
"effect validator should pass"
(mutateGovernorValidator Shared.governor)
(mkEffectDatum validNewGovernorDatum)
(ScriptContext (mkEffectTransaction validNewGovernorDatum) (Spending effectRef))
(ScriptContext (mkEffectTxInfo validNewGovernorDatum) (Spending effectRef))
]
, testGroup
"invalid new governor datum"
[ validatorFailsWith
"governor"
"governor validator should fail"
(governorValidator Shared.governor)
( GovernorDatum
{ proposalThresholds = Shared.defaultProposalThresholds
@ -54,14 +54,14 @@ tests =
)
MutateGovernor
( ScriptContext
(mkEffectTransaction invalidNewGovernorDatum)
(mkEffectTxInfo invalidNewGovernorDatum)
(Spending govRef)
)
, effectFailsWith
"effect"
"effect validator should fail"
(mutateGovernorValidator Shared.governor)
(mkEffectDatum validNewGovernorDatum)
(ScriptContext (mkEffectTransaction invalidNewGovernorDatum) (Spending effectRef))
(ScriptContext (mkEffectTxInfo invalidNewGovernorDatum) (Spending effectRef))
]
]
]