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