test/TestSuite.hs

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