X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=32b81e220f67616cd14760e2db3eafceffd190b6;hb=8a3ca8823d4e8b8adbf3060ec056aafaf9813ded;hp=7cd8d937938b9e245156823ed5e3b393c5b5d3cb;hpb=eee156f562f9c1c1194a67cef12f146304d88ce9;p=hath.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index 7cd8d93..32b81e2 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -1,8 +1,10 @@ -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 Test.Tasty( TestTree, defaultMain, localOption, testGroup ) +import Test.Tasty.QuickCheck( + QuickCheckTests( QuickCheckTests), + QuickCheckMaxRatio( QuickCheckMaxRatio )) +import Cidr( cidr_properties, cidr_tests ) +import IPv4Address( ipv4address_properties, ipv4address_tests ) +import Octet( octet_properties, octet_tests ) tests :: TestTree tests = testGroup "All Tests" [ @@ -13,7 +15,6 @@ tests = testGroup "All Tests" [ octet_properties, octet_tests ] --- TODO: Run 5000 generated tests, we have a large space. main :: IO () main = defaultMain $