defaultMainWithOpts tests my_runner_opts
--- | Defined so that my test names fit on one line.
-tc :: Test.Framework.Providers.API.TestName -> Test.HUnit.Assertion -> Test.Framework.Test
-tc = testCase
-
-
--- | Defined so that my test names fit on one line.
-tp :: Test.QuickCheck.Testable a => Test.Framework.TestName -> a -> Test.Framework.Test
-tp = testProperty
-
-
tests :: [Test.Framework.Test]
tests = [ cardinal_tests,
function_values_tests,
tetrahedron_tests,
cube_properties,
tetrahedron_properties,
- misc_properties,
+ misc_properties,
cardinal_properties,
slow_tests ]