Get rid of the tests for section (2.9), for now.

[spline3.git] / test / TestSuite.hs

diff --git a/test/TestSuite.hs b/test/TestSuite.hs
index f97df52855bc1bf95bbc7462a1214fb7934b2a5c..9307691d3ab0321b88d4c68042e15325c077d689 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -266,25 +266,7 @@ main = do
   putStr "prop_c1011_identity... "
   quickCheckWith qc_args TC.prop_c1011_identity
 
-  -- putStrLn "\np. 80, (2.9)\n"
-
-  -- putStr "prop_c0120_identity2... "
-  -- quickCheckWith qc_args TF.prop_c0120_identity2
-
-  -- putStr "prop_c0102_identity2... "
-  -- quickCheckWith qc_args TF.prop_c0102_identity2
-
-  -- putStr "prop_c0111_identity... "
-  -- quickCheckWith qc_args TF.prop_c0111_identity
-
-  -- putStr "prop_c0210_identity2... "
-  -- quickCheckWith qc_args TF.prop_c0210_identity2
-
-  -- putStr "prop_c0201_identity2... "
-  -- quickCheckWith qc_args TF.prop_c0201_identity2
-
-  -- putStr "prop_c0300_identity3... "
-  -- quickCheckWith qc_args TF.prop_c0300_identity3
+  putStr "\n"
 
   putStr "prop_interior_values_all_identical... "
   quickCheckWith qc_args prop_interior_values_all_identical