X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=4a0b405695247a6d9d440cd9a87f3e1439d350ba;hb=205ed82460c2b8c3f94cc30a338f315baa315dbf;hp=0491f56dfe87babdb1b7f914e5da9e0d5e7a5cb0;hpb=1ea61681483c8402faf572c8c853ba086b622ffe;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index 0491f56..4a0b405 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -1,4 +1,4 @@ -module TestSuite +module Main where import Data.Monoid (mempty) @@ -13,7 +13,6 @@ import Test.Framework ( import Test.Framework.Options import Test.Framework.Runners.Options import Test.Framework.Providers.API (TestName) -import Test.Framework.Providers.DocTest import Test.Framework.Providers.HUnit (testCase) import Test.Framework.Providers.QuickCheck2 (testProperty) import Test.HUnit @@ -28,8 +27,6 @@ import Tetrahedron (tetrahedron_tests, tetrahedron_properties) main :: IO () main = do - dt <- docTest ["src/Everything.hs"] ["-isrc"] - let empty_test_opts = mempty :: TestOptions let my_test_opts = empty_test_opts { topt_maximum_generated_tests = Just 500 @@ -40,7 +37,7 @@ main = do ropt_test_options = Just my_test_opts } - defaultMainWithOpts ([dt] ++ tests) my_runner_opts + defaultMainWithOpts tests my_runner_opts -- | Defined so that my test names fit on one line.