X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=31e24266f9e54b62bc0b4d4935b92072b0088666;hb=e81be702ecf9a92e2c430d283b16b12987e03b81;hp=0e0055d6142fafc2249c50623b02f09fb73d33da;hpb=5109e41113a39024ef3fe799abb08de4a2ac74b0;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index 0e0055d..31e2426 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -160,25 +160,25 @@ main = do putStr "prop_c2100_identity1... " quickCheckWith qc_args TC.prop_c2100_identity1 - -- putStrLn "\np. 79, (2.7)\n" + putStrLn "\np. 79, (2.7)\n" - -- putStr "prop_c0102_identity1... " - -- quickCheckWith qc_args TF.prop_c0102_identity1 + putStr "prop_c0102_identity1... " + quickCheckWith qc_args TC.prop_c0102_identity1 - -- putStr "prop_c0201_identity1... " - -- quickCheckWith qc_args TF.prop_c0201_identity1 + putStr "prop_c0201_identity1... " + quickCheckWith qc_args TC.prop_c0201_identity1 - -- putStr "prop_c0300_identity2... " - -- quickCheckWith qc_args TF.prop_c0300_identity2 + putStr "prop_c0300_identity2... " + quickCheckWith qc_args TC.prop_c0300_identity2 - -- putStr "prop_c1101_identity... " - -- quickCheckWith qc_args TF.prop_c1101_identity + putStr "prop_c1101_identity... " + quickCheckWith qc_args TC.prop_c1101_identity - -- putStr "prop_c1200_identity2... " - -- quickCheckWith qc_args TF.prop_c1200_identity2 + putStr "prop_c1200_identity2... " + quickCheckWith qc_args TC.prop_c1200_identity2 - -- putStr "prop_c2100_identity2... " - -- quickCheckWith qc_args TF.prop_c2100_identity2 + putStr "prop_c2100_identity2... " + quickCheckWith qc_args TC.prop_c2100_identity2 -- putStrLn "\np. 79, (2.8)\n"