@@ -21,23 +21,12 @@ import BitsPut
2121
2222import Test.Framework.Options ( TestOptions'(..) )
2323import Test.Framework.Providers.QuickCheck2 ( testProperty )
24−import Test.Framework.Runners.Console ( defaultMainWithOpts )
24+import Test.Framework.Runners.Console ( defaultMain )
2525import Test.Framework.Runners.Options ( RunnerOptions'(..) )
2626import Test.Framework ( Test, testGroup )
2727import Test.QuickCheck
2828
29−main = do
30− args <- getArgs
31− defaultMainWithOpts tests (setMaxTestCases (if null args then 1024 else read (head args)))
32− where
33− -- increase the number of test cases
34− setMaxTestCases n =
35− mempty
36− { ropt_test_options = Just $
37− mempty
38− { topt_maximum_generated_tests = Just n
39− }
40− }
29+main = defaultMain tests
4130
4231tests :: [Test]
4332tests =