test/TestSuite.hs

   1 {-# LANGUAGE NoMonomorphismRestriction #-}
   2 import Test.HUnit
   3 import Test.QuickCheck (Args(..), quickCheckWith, stdArgs)
   4
   5 import Cidr (cidr_tests,
   6              prop_all_cidrs_contain_themselves,
   7              prop_contains_proper_intransitive)
   8
   9 import IPv4Address (ipv4address_tests)
  10 import Octet (octet_tests)
  11
  12 -- The list of HUnit tests.
  13 test_suite = TestList (concat [cidr_tests,
  14                                ipv4address_tests,
  15                                octet_tests])
  16
  17 main :: IO ()
  18 main = do
  19   putStrLn "HUnit"
  20   putStrLn "-----"
  21   runTestTT test_suite
  22
  23   putStrLn ""
  24
  25   putStrLn "QuickCheck"
  26   putStrLn "----------"
  27   qc prop_all_cidrs_contain_themselves
  28   qc prop_contains_proper_intransitive
  29   where
  30     args :: Args
  31     args =  stdArgs { maxDiscard = 5000 }
  32     qc = quickCheckWith args