+{-# LANGUAGE NoMonomorphismRestriction #-}
import Test.HUnit
-import Test.QuickCheck.Batch
+import Test.QuickCheck (Args(..), quickCheckWith, stdArgs)
import Cidr (cidr_tests,
prop_all_cidrs_contain_themselves,
prop_contains_proper_intransitive)
import IPv4Address (ipv4address_tests)
-import Maskable (maskable_tests)
import Octet (octet_tests)
-- The list of HUnit tests.
test_suite = TestList (concat [cidr_tests,
ipv4address_tests,
- maskable_tests,
octet_tests])
--- QuickCheck options
-options = TestOptions { no_of_tests = 1000,
- length_of_tests = 0, -- No time limit on tests.
- debug_tests = False }
-
main :: IO ()
main = do
putStrLn "HUnit"
putStrLn "QuickCheck"
putStrLn "----------"
- runTests "Cidr" options [ run prop_all_cidrs_contain_themselves,
- run prop_contains_proper_intransitive]
+ qc prop_all_cidrs_contain_themselves
+ qc prop_contains_proper_intransitive
+ where
+ args :: Args
+ args = stdArgs { maxDiscard = 5000 }
+ qc = quickCheckWith args