test/TestSuite.hs

   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 )
   8
   9 tests :: TestTree
  10 tests = testGroup "All Tests" [
  11           cidr_properties,
  12           cidr_tests,
  13           ipv4address_properties,
  14           ipv4address_tests,
  15           octet_properties,
  16           octet_tests ]
  17
  18 -- | Warning: the QuickCheckMaxRatio option is not a ratio. It's
  19 --   currently set to \"100%\", so that the test suite passes even if
  20 --   we have to throw out all of our random test cases.
  21 main :: IO ()
  22 main =
  23   defaultMain $
  24     localOption (QuickCheckTests 5000) $
  25     localOption (QuickCheckMaxRatio 5000) tests