on master help sign in
Use default test-framework parameters, no override
5a9c736Lennart Kolmodin
BitsQC.hs+2−13
@@ -21,23 +21,12 @@ import BitsPut
21
21
22import Test.Framework.Options ( TestOptions'(..) )
22import Test.Framework.Options ( TestOptions'(..) )
23import Test.Framework.Providers.QuickCheck2 ( testProperty )
23import Test.Framework.Providers.QuickCheck2 ( testProperty )
24−import Test.Framework.Runners.Console ( defaultMainWithOpts )
24+import Test.Framework.Runners.Console ( defaultMain )
25import Test.Framework.Runners.Options ( RunnerOptions'(..) )
25import Test.Framework.Runners.Options ( RunnerOptions'(..) )
26import Test.Framework ( Test, testGroup )
26import Test.Framework ( Test, testGroup )
27import Test.QuickCheck
27import Test.QuickCheck
28
28
29−main = do
29+main = defaultMain tests
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− }
41
30
42tests :: [Test]
31tests :: [Test]
43tests =
32tests =