1 {-# LANGUAGE NoMonomorphismRestriction #-}
2 import Data.Monoid (mempty)
3 import Test.Framework (
7 import Test.Framework.Options
8 import Test.Framework.Runners.Options
10 import Cidr (cidr_properties, cidr_tests)
12 import IPv4Address (ipv4address_properties, ipv4address_tests)
13 import Octet (octet_tests)
15 tests :: [Test.Framework.Test]
16 tests = [ cidr_properties,
18 ipv4address_properties,
24 let empty_test_opts = mempty :: TestOptions
25 let my_test_opts = empty_test_opts {
27 -- Increase to 5000 when,
28 -- https://github.com/batterseapower/test-framework/issues/34
31 topt_maximum_generated_tests = Just 1000
33 let empty_runner_opts = mempty :: RunnerOptions
34 let my_runner_opts = empty_runner_opts {
35 ropt_test_options = Just my_test_opts
38 defaultMainWithOpts tests my_runner_opts