X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=4450f1d34001afaf731f17159492c09e6501c7b1;hb=a23ed449c784cdf81501c696bec10b1fbaeefc5f;hp=3538d21141455e8d6938cdae4ff59fc3f497be43;hpb=1ba6b199192c6b5bddb486446ebfeff88a6309b9;p=hath.git

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index 3538d21..4450f1d 100644
--- 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]