From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 14 May 2010 05:29:25 +0000 (-0400)
Subject: Added the QuickCheck tests to the test suite.
X-Git-Tag: 0.0.1~41
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=1ba6b199192c6b5bddb486446ebfeff88a6309b9;p=hath.git

Added the QuickCheck tests to the test suite.
---

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index 897807f..3538d21 100644
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -1,15 +1,32 @@
 import Test.HUnit
+import Test.QuickCheck.Batch
+
+import Cidr (cidr_tests,
+             prop_all_cidrs_contain_themselves)
 
-import Cidr (cidr_tests)
 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])
 
-main :: IO Counts
+-- QuickCheck options
+options = TestOptions { no_of_tests     = 1000,
+                        length_of_tests = 0, -- No time limit on tests.
+                        debug_tests     = False }
+
+main :: IO ()
 main = do
+  putStrLn "HUnit"
+  putStrLn "-----"
   runTestTT test_suite
+
+  putStrLn ""
+
+  putStrLn "QuickCheck"
+  putStrLn "----------"
+  runTests "Cidr" options [ run prop_all_cidrs_contain_themselves ]