Limit number of tests in large quick check properties

This commit is contained in:
Adithya Kumar 2023-08-18 11:21:03 +05:30
parent 4997b47fe1
commit 041be85bb8

View File

@ -99,12 +99,20 @@ testCases = do
(8 + 3 * 8 + 6 * 8)
([[1], [1, 2], [1, 2, 3]] :: [[Int]])
prop "CustomDatatype"
limitQC
$ prop "CustomDatatype"
$ \(x :: CustomDatatype) -> roundtrip x
prop "[CustomDatatype]"
limitQC
$ prop "[CustomDatatype]"
$ \(x :: [CustomDatatype]) -> roundtrip x
prop "BinTree" $ \(x :: BinTree Int) -> roundtrip x
limitQC
$ prop "BinTree" $ \(x :: BinTree Int) -> roundtrip x
where
limitQC = modifyMaxSize (const 50)
--------------------------------------------------------------------------------
-- Main function