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