QC

Author: erikd

cabal.project

@@ -99,6 +99,7 @@ constraints:
 
   -- https://github.com/IntersectMBO/plutus/pull/7236
   , setup.optparse-applicative >=0.19.0.0
+  , QuickCheck < 2.18
 
 allow-newer:
   , aeson-pretty:aeson

plutus-core/plutus-core/test/Generators/QuickCheck/Utils.hs

@@ -9,15 +9,7 @@ import PlutusCore.Data
 import PlutusCore.Generators.QuickCheck.Builtin
 import PlutusCore.Generators.QuickCheck.Utils
 
-#if MIN_VERSION_QuickCheck(2, 18, 0)
-import Test.QuickCheck (withNumTests)
-#else
-import Test.QuickCheck (
-    Property,
-    Testable,
-    withMaxSuccess,
-  )
-#endif
+import qualified Test.QuickCheck as QC
 
 import Test.Tasty
 import Test.Tasty.QuickCheck
@@ -92,7 +84,9 @@ test_utils =
     , test_multiSplitDistribution
     ]
 
-#if !MIN_VERSION_QuickCheck(2, 18, 0)
-withNumTests :: Testable prop => Int -> prop -> Property
-withNumTests = withMaxSuccess
+withNumTests :: QC.Testable prop => Int -> prop -> QC.Property
+#if MIN_VERSION_QuickCheck(2, 18, 0)
+withNumTests = QC.withNumTests
+#else
+withNumTests = QC.withMaxSuccess
 #endif