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 Maskable (maskable_tests)
10 import Octet (octet_tests)
12 -- The list of HUnit tests.
13 test_suite = TestList (concat [cidr_tests,
19 options = TestOptions { no_of_tests = 1000,
20 length_of_tests = 0, -- No time limit on tests.
33 runTests "Cidr" options [ run prop_all_cidrs_contain_themselves,
34 run prop_contains_proper_intransitive]