test/TestSuite.hs

   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 )
   6
   7 tests :: TestTree
   8 tests = testGroup "All Tests" [
   9           cidr_properties,
  10           cidr_tests,
  11           ipv4address_properties,
  12           ipv4address_tests,
  13           octet_properties,
  14           octet_tests ]
  15
  16 -- TODO: Run 5000 generated tests, we have a large space.
  17 main :: IO ()
  18 main =
  19   defaultMain $
  20     localOption (QuickCheckTests 5000) $
  21     localOption (QuickCheckMaxRatio 50) tests