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)
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]