X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=82e287045749e63a0072c1433a4053d95a5d8000;hb=86d39fb9ddd83414f4b896bea89404e9786ff0d0;hp=541694cd17980c4a062e82c52caad77a2a5bef0d;hpb=41ad17ad9670eb529549c50d528e59407f438e5c;p=spline3.git

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index 541694c..82e2870 100644
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -162,6 +162,9 @@ p79_28_properties =
 cube_properties :: Test.Framework.Test
 cube_properties =
     testGroup "Cube Properties" [
+  tp "front/back tetrahedra are disjoint" prop_front_back_tetrahedra_disjoint,
+  tp "top/down tetrahedra are disjoint" prop_top_down_tetrahedra_disjoint,
+  tp "left/right tetrahedra are disjoint" prop_left_right_tetrahedra_disjoint,
   tp "all volumes positive" prop_all_volumes_positive,
   tp "all volumes exact" prop_all_volumes_exact,
   tp "v0 all equal" prop_v0_all_equal,