X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=9307691d3ab0321b88d4c68042e15325c077d689;hb=87e50361895b914da03a8f84783724c95f54f601;hp=f97df52855bc1bf95bbc7462a1214fb7934b2a5c;hpb=5c567a139aa16a7df3b4279b13d3110027eb744f;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index f97df52..9307691 100644 --- 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