From e294db2847b627bb3afab729d87a9a7c9fa4d6de Mon Sep 17 00:00:00 2001
From: adamczykm <m@adamczykm.me>
Date: Fri, 11 Nov 2022 16:09:42 +0100
Subject: [PATCH] Add after review fixes.

---
 agora-specs/Property/Governor.hs | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/agora-specs/Property/Governor.hs b/agora-specs/Property/Governor.hs
index 9029b01..5493772 100644
--- a/agora-specs/Property/Governor.hs
+++ b/agora-specs/Property/Governor.hs
@@ -84,8 +84,8 @@ import Test.QuickCheck (
   forAll,
   listOf1,
  )
-import Test.Tasty (TestTree, testGroup)
-import Test.Tasty.QuickCheck (testProperty)
+import Test.Tasty (TestTree, adjustOption, testGroup)
+import Test.Tasty.QuickCheck (QuickCheckTests, testProperty)
 
 data GovernorDatumCases
   = ExecuteLE0
@@ -205,8 +205,8 @@ governorMintingPolicyTests =
    and checking if it runs as expected by a test.
 -}
 governorPolicyValid :: ScriptContext -> Bool -> Property
-governorPolicyValid ctx shouldSuceed =
-  let mp = mkPolicyScript ctx in if shouldSuceed then shouldRun mp else shouldCrash mp
+governorPolicyValid ctx shouldSucceed =
+  let mp = mkPolicyScript ctx in if shouldSucceed then shouldRun mp else shouldCrash mp
 
 {-# INLINEABLE mkPolicyScript #-}
 mkPolicyScript :: ScriptContext -> Script
@@ -220,9 +220,7 @@ mkPolicyScript ctx = mustCompile (go # pconstant ctx)
           # pforgetData (pconstantData ())
           # sc
 
-{- | Prepares a minting policy test for given policy error case.
- NOTE
--}
+-- | Prepares a minting policy test for given policy error case.
 mkGovMintingCasePropertyTest ::
   String ->
   GovernorPolicyCases ->
@@ -288,9 +286,12 @@ mkGovMintingCasePropertyTest name case' positiveCaseName negativeCaseName =
 
 props :: [TestTree]
 props =
-  [ testProperty "governorDatumValid" governorDatumValidProperty
+  [ adjustOption go . testProperty "governorDatumValid" $ governorDatumValidProperty
   , testGroup "governorPolicy" governorMintingPolicyTests
   ]
+  where
+    go :: QuickCheckTests -> QuickCheckTests
+    go = min 2000
 
 loudEval ::
   forall (p :: S -> Type).