1 {-# LANGUAGE NoMonomorphismRestriction #-}
2 import Data.Monoid (mempty)
3 import Test.Framework (
6 import Test.Framework.Options
7 import Test.Framework.Runners.Options
13 ipv4address_properties,
19 tests :: [Test.Framework.Test]
20 tests = [ cidr_properties,
22 ipv4address_properties,
29 let empty_test_opts = mempty :: TestOptions
30 let my_test_opts = empty_test_opts {
32 -- Increase to 5000 when,
33 -- https://github.com/batterseapower/test-framework/issues/34
36 topt_maximum_generated_tests = Just 1000
38 let empty_runner_opts = mempty :: RunnerOptions
39 let my_runner_opts = empty_runner_opts {
40 ropt_test_options = Just my_test_opts
43 defaultMainWithOpts tests my_runner_opts