import Test.QuickCheck.Batch
import Cidr (cidr_tests,
- prop_all_cidrs_contain_themselves)
+ 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
putStrLn "QuickCheck"
putStrLn "----------"
- runTests "Cidr" options [ run prop_all_cidrs_contain_themselves ]
+ runTests "Cidr" options [ run prop_all_cidrs_contain_themselves,
+ run prop_contains_proper_intransitive]