diff --git a/agora-test/Spec/Governor.hs b/agora-test/Spec/Governor.hs index 9999ba5..2661499 100644 --- a/agora-test/Spec/Governor.hs +++ b/agora-test/Spec/Governor.hs @@ -7,9 +7,33 @@ Tests for Governor policy and validator -} module Spec.Governor (tests) where -import Test.Tasty (TestTree) +import Agora.Governor (GovernorDatum (..), GovernorRedeemer (..)) +import Agora.Governor.Scripts (governorPolicy, governorValidator) +import Agora.Proposal (ProposalId (..)) +import Spec.Sample.Governor (mintGST, createProposal) +import Spec.Sample.Shared qualified as Shared +import Spec.Util (policySucceedsWith, validatorSucceedsWith) +import Test.Tasty (TestTree, testGroup) -------------------------------------------------------------------------------- tests :: [TestTree] -tests = [] +tests = + [ testGroup + "policy" + [ policySucceedsWith + "GST minting" + (governorPolicy Shared.governor) + () + mintGST + ] + , testGroup + "validator" + [ validatorSucceedsWith + "proposal creation" + (governorValidator Shared.governor) + (GovernorDatum Shared.defaultProposalThresholds (ProposalId 0)) + (CreateProposal) + createProposal + ] + ] diff --git a/agora-test/Spec/Sample/Governor.hs b/agora-test/Spec/Sample/Governor.hs index a840294..2326444 100644 --- a/agora-test/Spec/Sample/Governor.hs +++ b/agora-test/Spec/Sample/Governor.hs @@ -6,7 +6,7 @@ Description: Sample based testing for Governor utxos This module tests primarily the happy path for Governor interactions -} module Spec.Sample.Governor ( - proposalCreation, + createProposal, mutateState, mintGAT, mintGST, @@ -130,8 +130,8 @@ mintGST = } -- | This script context should be a valid transaction. -proposalCreation :: ScriptContext -proposalCreation = +createProposal :: ScriptContext +createProposal = let pst = Value.singleton proposalPolicySymbol "" 1 gst = Value.assetClassValue govAssetClass 1 sst = Value.assetClassValue stakeAssetClass 1