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,
21 localOption (QuickCheckTests 5000) $
22 localOption (QuickCheckMaxRatio 50) tests