Add tests/code for tetrahedron 12 through 15.

[spline3.git] / test / TestSuite.hs

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index a73480d87205b8201765e08283dad9adefe48dae..057468bea163da80683cb5abf45ac6fe2b8b658e 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -92,6 +92,18 @@ main = do
   putStr "prop_tetrahedron11_volumes_positive... "
   quickCheckWith qc_args prop_tetrahedron11_volumes_positive
 
+  putStr "prop_tetrahedron12_volumes_positive... "
+  quickCheckWith qc_args prop_tetrahedron12_volumes_positive
+
+  putStr "prop_tetrahedron13_volumes_positive... "
+  quickCheckWith qc_args prop_tetrahedron13_volumes_positive
+
+  putStr "prop_tetrahedron14_volumes_positive... "
+  quickCheckWith qc_args prop_tetrahedron14_volumes_positive
+
+  putStr "prop_tetrahedron15_volumes_positive... "
+  quickCheckWith qc_args prop_tetrahedron15_volumes_positive
+
   putStr "prop_v0_all_equal... "
   quickCheckWith qc_args prop_v0_all_equal