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,
16 -- TODO: Run 5000 generated tests, we have a large space.
20 localOption (QuickCheckTests 5000) $
21 localOption (QuickCheckMaxRatio 50) tests