test/TestSuite.hs

   1 {-# LANGUAGE NoMonomorphismRestriction #-}
   2 import Data.Monoid (mempty)
   3 import Test.Framework (
   4   Test,
   5   defaultMainWithOpts,
   6   )
   7 import Test.Framework.Options
   8 import Test.Framework.Runners.Options
   9
  10 import Cidr (cidr_properties, cidr_tests)
  11
  12 import IPv4Address (ipv4address_properties, ipv4address_tests)
  13 import Octet (octet_tests)
  14
  15 tests :: [Test.Framework.Test]
  16 tests = [ cidr_properties,
  17           cidr_tests,
  18           ipv4address_properties,
  19           ipv4address_tests,
  20           octet_tests ]
  21
  22 main :: IO ()
  23 main = do
  24   let empty_test_opts = mempty :: TestOptions
  25   let my_test_opts = empty_test_opts {
  26     --
  27     -- Increase to 5000 when,
  28     --   https://github.com/batterseapower/test-framework/issues/34
  29     -- is fixed.
  30     --
  31     topt_maximum_generated_tests = Just 1000
  32   }
  33   let empty_runner_opts = mempty :: RunnerOptions
  34   let my_runner_opts = empty_runner_opts {
  35     ropt_test_options = Just my_test_opts
  36   }
  37
  38   defaultMainWithOpts tests my_runner_opts