1 import Test.Tasty( TestTree, defaultMain, localOption, testGroup )
2 import Test.Tasty.QuickCheck(
3 QuickCheckTests( QuickCheckTests ),
4 QuickCheckMaxRatio( QuickCheckMaxRatio ))
5 import Cidr( cidr_properties, cidr_tests )
6 import IPv4Address( ipv4address_properties, ipv4address_tests )
7 import Octet( octet_properties, octet_tests )
10 tests = testGroup "All Tests" [
13 ipv4address_properties,
18 -- | Warning: the QuickCheckMaxRatio option is not a ratio. It's
19 -- currently set to \"100%\", so that the test suite passes even if
20 -- we have to throw out all of our random test cases.
24 localOption (QuickCheckTests 5000) $
25 localOption (QuickCheckMaxRatio 5000) tests