Add the prop_interior_values_all_identical test.

[spline3.git] / test / TestSuite.hs

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index ee6f0d4f797015e233c7196cafd5103a409c51ef..309a13c9815c74d3ff74158065dfcb1139b46b55 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -238,6 +238,9 @@ main = do
   -- putStr "prop_c0300_identity3... "
   -- quickCheckWith qc_args TF.prop_c0300_identity3
 
+  putStrLn "prop_interior_values_all_identical... "
+  quickCheckWith qc_args prop_interior_values_all_identical
+
   putStrLn "prop_c_tilde_2100_rotation_correct... "
   quickCheckWith qc_args prop_c_tilde_2100_rotation_correct