test/TestSuite.hs

   1 import Test.HUnit
   2 import Test.QuickCheck.Batch
   3
   4 import Cidr (cidr_tests,
   5              prop_all_cidrs_contain_themselves)
   6
   7 import IPv4Address (ipv4address_tests)
   8 import Maskable (maskable_tests)
   9 import Octet (octet_tests)
  10
  11 -- The list of HUnit tests.
  12 test_suite = TestList (concat [cidr_tests,
  13                                ipv4address_tests,
  14                                maskable_tests,
  15                                octet_tests])
  16
  17 -- QuickCheck options
  18 options = TestOptions { no_of_tests     = 1000,
  19                         length_of_tests = 0, -- No time limit on tests.
  20                         debug_tests     = False }
  21
  22 main :: IO ()
  23 main = do
  24   putStrLn "HUnit"
  25   putStrLn "-----"
  26   runTestTT test_suite
  27
  28   putStrLn ""
  29
  30   putStrLn "QuickCheck"
  31   putStrLn "----------"
  32   runTests "Cidr" options [ run prop_all_cidrs_contain_themselves ]