Added the prop_contains_proper_intransitive QuickCheck property, and fixed the defini...

[hath.git] / test / TestSuite.hs

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index 3538d21141455e8d6938cdae4ff59fc3f497be43..4450f1d34001afaf731f17159492c09e6501c7b1 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -2,7 +2,8 @@ import Test.HUnit
 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)
@@ -29,4 +30,5 @@ main = do
 
   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]