-main = do
- let empty_test_opts = mempty :: TestOptions
- let my_test_opts = empty_test_opts {
- --
- -- Increase to 5000 when,
- -- https://github.com/batterseapower/test-framework/issues/34
- -- is fixed.
- --
- topt_maximum_generated_tests = Just 1000
- }
- let empty_runner_opts = mempty :: RunnerOptions
- let my_runner_opts = empty_runner_opts {
- ropt_test_options = Just my_test_opts
- }
-
- defaultMainWithOpts tests my_runner_opts