Add the actual volume tests for tetrahedron 8 through 11.

diff --git a/src/Tests/Cube.hs b/src/Tests/Cube.hs
index 275681b92582a7ff8fe37f57d51b5c2e1b822b53..4a119c26433e3e0b5f7de303267face1006d6de8 100644 (file)
--- a/src/Tests/Cube.hs
+++ b/src/Tests/Cube.hs
@@ -162,3 +162,27 @@ prop_tetrahedron6_volumes_positive c =
 prop_tetrahedron7_volumes_positive :: Cube -> Bool
 prop_tetrahedron7_volumes_positive c =
     volume (tetrahedron7 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron8_volumes_positive :: Cube -> Bool
+prop_tetrahedron8_volumes_positive c =
+    volume (tetrahedron8 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron9_volumes_positive :: Cube -> Bool
+prop_tetrahedron9_volumes_positive c =
+    volume (tetrahedron9 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron10_volumes_positive :: Cube -> Bool
+prop_tetrahedron10_volumes_positive c =
+    volume (tetrahedron10 c) > 0
+
+-- | This pretty much repeats the prop_all_volumes_positive property,
+--   but will let me know which tetrahedrons's vertices are disoriented.
+prop_tetrahedron11_volumes_positive :: Cube -> Bool
+prop_tetrahedron11_volumes_positive c =
+    volume (tetrahedron11 c) > 0