-import Test.HUnit
+import Test.Tasty ( TestTree, defaultMain, localOption, testGroup )
+import Test.Tasty.QuickCheck ( QuickCheckTests(..), QuickCheckMaxRatio(..) )
+import Cidr ( cidr_properties, cidr_tests )
+import IPv4Address ( ipv4address_properties, ipv4address_tests )
+import Octet ( octet_properties, octet_tests )
-import Cidr (cidr_tests)
-import IPv4Address (ipv4address_tests)
-import Maskable (maskable_tests)
-import Octet (octet_tests)
+tests :: TestTree
+tests = testGroup "All Tests" [
+ cidr_properties,
+ cidr_tests,
+ ipv4address_properties,
+ ipv4address_tests,
+ octet_properties,
+ octet_tests ]
-test_suite = TestList (concat [cidr_tests,
- ipv4address_tests,
- maskable_tests,
- octet_tests])
-
-main :: IO Counts
-main = do
- runTestTT test_suite
+-- TODO: Run 5000 generated tests, we have a large space.
+main :: IO ()
+main =
+ defaultMain $
+ localOption (QuickCheckTests 5000) $
+ localOption (QuickCheckMaxRatio 50) tests