X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FTests%2FCube.hs;h=1df642fea96b6fab5163913a96fe735a168fcbfb;hb=a73ad12eaff8510ae18ffafdefc0ae928603d5a5;hp=4a119c26433e3e0b5f7de303267face1006d6de8;hpb=1cd046dec9888b04b8687759282880194117736e;p=spline3.git

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 4a119c2..1df642f 100644
--- a/src/Tests/Cube.hs
+++ b/src/Tests/Cube.hs
@@ -186,3 +186,27 @@ prop_tetrahedron10_volumes_positive c =
 prop_tetrahedron11_volumes_positive :: Cube -> Bool
 prop_tetrahedron11_volumes_positive c =
     volume (tetrahedron11 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron12_volumes_positive :: Cube -> Bool
+prop_tetrahedron12_volumes_positive c =
+    volume (tetrahedron12 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron13_volumes_positive :: Cube -> Bool
+prop_tetrahedron13_volumes_positive c =
+    volume (tetrahedron13 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron14_volumes_positive :: Cube -> Bool
+prop_tetrahedron14_volumes_positive c =
+    volume (tetrahedron14 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron15_volumes_positive :: Cube -> Bool
+prop_tetrahedron15_volumes_positive c =
+    volume (tetrahedron15 c) > 0