test that invalid proposals cannot be created

2022-11-02 00:35:48 +08:00 · 2022-11-02 00:35:48 +08:00 · 5fc8a188a0
commit 5fc8a188a0
parent 996797995a
2 changed files with 24 additions and 5 deletions
--- a/agora-specs/Spec/Proposal.hs
+++ b/agora-specs/Spec/Proposal.hs
@ -91,6 +91,12 @@ specs =
              True
              False
              False
+          , Create.mkTestTree
+              "wrong governor redeemer"
+              Create.wrongGovernorRedeemer
+              False
+              False
+              True
          ]
      ]
  , group