wip

Author: erikd

plutus-core/untyped-plutus-core/testlib/Flat/Spec.hs

@@ -22,7 +22,7 @@ import PlutusCore.Generators.QuickCheck.Builtin ()
 import PlutusCore.Name.Unique (Name (..), TyName (..), Unique (..))
 import Test.Tasty
 import Test.Tasty.HUnit
-import Test.Tasty.QuickCheck
+import Test.Tasty.QuickCheck hiding (Some)
 import Universe (Some (..), ValueOf (..))
 import UntypedPlutusCore.Core.Type
 

plutus-ledger-api/test/Spec/V1/Data/Value.hs

@@ -26,7 +26,7 @@ x <=> y = x === y .&&. y === x
 x </> y = x =/= y .&&. y =/= x
 
 scaleTestsBy :: Testable prop => Int -> prop -> Property
-scaleTestsBy factor = withMaxSuccess (100 * factor) . mapSize (* factor)
+scaleTestsBy factor = withNumTests (100 * factor) . mapSize (* factor)
 
 {-| Apply a function to an arbitrary number of elements of the given list. The elements are chosen
 at random. -}

plutus-ledger-api/test/Spec/V1/Value.hs

@@ -27,7 +27,7 @@ x <=> y = x === y .&&. y === x
 x </> y = x =/= y .&&. y =/= x
 
 scaleTestsBy :: Testable prop => Int -> prop -> Property
-scaleTestsBy factor = withMaxSuccess (100 * factor) . mapSize (* factor)
+scaleTestsBy factor = withNumTests (100 * factor) . mapSize (* factor)
 
 {-| Apply a function to an arbitrary number of elements of the given list. The elements are chosen
 at random. -}

plutus-tx-plugin/test-ledger-api/Spec/Data/MintValue/V3.hs

@@ -145,7 +145,7 @@ test_Plinth_MintValueBurnedIsPositive =
 
 scaleTestsBy :: QC.Testable prop => Haskell.Int -> prop -> QC.Property
 scaleTestsBy factor =
-  QC.withMaxSuccess (100 Haskell.* factor) . QC.mapSize (Haskell.* factor)
+  QC.withNumTests (100 Haskell.* factor) . QC.mapSize (Haskell.* factor)
 
 cekProp :: CompiledCode Bool -> Property
 cekProp code = evaluationResultMatchesHaskell code (===) True

plutus-tx-plugin/test-ledger-api/Spec/MintValue/V3.hs

@@ -145,7 +145,7 @@ test_Plinth_MintValueBurnedIsPositive =
 
 scaleTestsBy :: QC.Testable prop => Haskell.Int -> prop -> QC.Property
 scaleTestsBy factor =
-  QC.withMaxSuccess (100 Haskell.* factor) . QC.mapSize (Haskell.* factor)
+  QC.withNumTests (100 Haskell.* factor) . QC.mapSize (Haskell.* factor)
 
 cekProp :: CompiledCode Bool -> Property
 cekProp code = evaluationResultMatchesHaskell code (===) True

plutus-tx-plugin/test-ledger-api/Spec/Value/WithCurrencySymbol.hs

@@ -112,7 +112,7 @@ test_Plinth_CorrectTokenQuantitiesAreSelected =
 
 scaleTestsBy :: Testable prop => Haskell.Int -> prop -> Property
 scaleTestsBy factor =
-  withMaxSuccess (100 Haskell.* factor) . mapSize (Haskell.* factor)
+  withNumTests (100 Haskell.* factor) . mapSize (Haskell.* factor)
 
 cekProp :: CompiledCode Bool -> Property
 cekProp code = evaluationResultMatchesHaskell code (===) True