X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=057468bea163da80683cb5abf45ac6fe2b8b658e;hb=a73ad12eaff8510ae18ffafdefc0ae928603d5a5;hp=a73480d87205b8201765e08283dad9adefe48dae;hpb=1cd046dec9888b04b8687759282880194117736e;p=spline3.git

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index a73480d..057468b 100644
--- 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