@@ -21,23 +21,12 @@ import BitsPut
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
29−main = do
29+main = defaultMain tests
31− defaultMainWithOpts tests (setMaxTestCases (if null args then 1024 else read (head args)))
33− -- increase the number of test cases
36− { ropt_test_options = Just $
38− { topt_maximum_generated_tests = Just n
42tests :: [Test]
31tests :: [Test]