2 import Test.QuickCheck.Batch
4 import Cidr (cidr_tests,
5 prop_all_cidrs_contain_themselves,
6 prop_contains_proper_intransitive)
8 import IPv4Address (ipv4address_tests)
9 import Octet (octet_tests)
11 -- The list of HUnit tests.
12 test_suite = TestList (concat [cidr_tests,
17 options = TestOptions { no_of_tests = 1000,
18 length_of_tests = 0, -- No time limit on tests.
31 runTests "Cidr" options [ run prop_all_cidrs_contain_themselves,
32 run prop_contains_proper_intransitive]