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 dc348ff69f89f066cae0d6483237666796dbeb83..9307691d3ab0321b88d4c68042e15325c077d689 100644 (file)
--- a/test/TestSuite.hs
+++ b/test/TestSuite.hs
@@ -268,26 +268,6 @@ main = do
 
   putStr "\n"
 
-  -- 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 "prop_interior_values_all_identical... "
   quickCheckWith qc_args prop_interior_values_all_identical