X-Git-Url: http://gitweb.michael.orlitzky.com/?p=hath.git;a=blobdiff_plain;f=test%2FTestSuite.hs;h=fa39ef3de373a3a921fef21a425111d55509db1e;hp=32b81e220f67616cd14760e2db3eafceffd190b6;hb=a8c2d85d8611f7f56eaa0c3406ec423d68f81f96;hpb=6087bef9274022251014f4ecbd166c35710480cd diff --git a/test/TestSuite.hs b/test/TestSuite.hs index 32b81e2..fa39ef3 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -1,6 +1,6 @@ import Test.Tasty( TestTree, defaultMain, localOption, testGroup ) import Test.Tasty.QuickCheck( - QuickCheckTests( QuickCheckTests), + QuickCheckTests( QuickCheckTests ), QuickCheckMaxRatio( QuickCheckMaxRatio )) import Cidr( cidr_properties, cidr_tests ) import IPv4Address( ipv4address_properties, ipv4address_tests ) @@ -15,8 +15,11 @@ tests = testGroup "All Tests" [ octet_properties, octet_tests ] +-- | Warning: the QuickCheckMaxRatio option is not a ratio. It's +-- currently set to \"100%\", so that the test suite passes even if +-- we have to throw out all of our random test cases. main :: IO () main = defaultMain $ localOption (QuickCheckTests 5000) $ - localOption (QuickCheckMaxRatio 50) tests + localOption (QuickCheckMaxRatio 5000) tests