]> gitweb.michael.orlitzky.com - hath.git/blobdiff - test/TestSuite.hs
Moved the maskable instance definitions within their corresponding modules.
[hath.git] / test / TestSuite.hs
index 3538d21141455e8d6938cdae4ff59fc3f497be43..3c00d06cab0473c8f3891b4e31739ef716cc0114 100644 (file)
@@ -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]