4 import Test.Framework (defaultMain, testGroup, Test, TestName, TestOptions(..))
5 import Test.Framework.Providers.API (TestName)
6 import Test.Framework.Providers.DocTest
7 import Test.Framework.Providers.HUnit (testCase)
8 import Test.Framework.Providers.QuickCheck2 (testProperty)
10 import Test.QuickCheck (Testable ())
12 import Cardinal (cardinal_tests, cardinal_properties)
13 import Cube (cube_properties)
14 import FunctionValues (function_values_tests, function_values_properties)
15 import Grid (grid_tests, slow_tests)
16 import Misc (misc_tests, misc_properties)
17 import Tetrahedron (tetrahedron_tests, tetrahedron_properties)
21 dt <- docTest ["src/Everything.hs"] ["-isrc"]
22 defaultMain $ [dt] ++ tests
24 -- | Defined so that my test names fit on one line.
25 tc :: Test.Framework.Providers.API.TestName -> Test.HUnit.Assertion -> Test.Framework.Test
29 -- | Defined so that my test names fit on one line.
30 tp :: Test.QuickCheck.Testable a => Test.Framework.TestName -> a -> Test.Framework.Test
34 tests :: [Test.Framework.Test]
35 tests = [ cardinal_tests,
36 function_values_tests,
41 tetrahedron_properties,