1 import Test.Tasty ( TestTree, defaultMain, localOption, testGroup )
2 import Test.Tasty.QuickCheck ( QuickCheckTests(..), QuickCheckMaxRatio(..) )
3 import Cidr ( cidr_properties, cidr_tests )
4 import IPv4Address ( ipv4address_properties, ipv4address_tests )
5 import Octet ( octet_properties, octet_tests )
8 tests = testGroup "All Tests" [
11 ipv4address_properties,
19 localOption (QuickCheckTests 5000) $
20 localOption (QuickCheckMaxRatio 50) tests