import Test.Framework (defaultMain, testGroup, Test, TestName, TestOptions(..))
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
import Tests.Tetrahedron as TT
main :: IO ()
-main = defaultMain tests
+main = do
+ dt <- docTest ["src/Everything.hs"] ["-isrc"]
+ defaultMain $ [dt] -- ++ tests
-- | Defined so that my test names fit on one line.
tc :: Test.Framework.Providers.API.TestName -> Test.HUnit.Assertion -> Test.Framework.Test