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

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index 3538d21..3c00d06 100644
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -2,16 +2,15 @@ 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)
 import Octet (octet_tests)
 
 -- The list of HUnit tests.
 test_suite = TestList (concat [cidr_tests,
                                ipv4address_tests,
-                               maskable_tests,
                                octet_tests])
 
 -- QuickCheck options
@@ -29,4 +28,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]