X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=48493f8d4bb6ce8819243c38dd9aedd3c8e065d6;hb=1a0cc0a6268fa92f8178d66499840782f25809bd;hp=077faa9dfb5e57b2eb0c9fd9d9fdc3639a179353;hpb=62e6ea5912a0ef9b21d034590700d6b450f942fb;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index 077faa9..48493f8 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -34,32 +34,32 @@ main = do putStr "prop_all_volumes_positive... " quickCheckWith qc_args prop_all_volumes_positive - putStr "prop_tetrahedron0_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron0_volumes_exact + -- putStr "prop_tetrahedron0_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron0_volumes_exact - putStr "prop_tetrahedron1_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron1_volumes_exact + -- putStr "prop_tetrahedron1_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron1_volumes_exact - putStr "prop_tetrahedron2_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron2_volumes_exact + -- putStr "prop_tetrahedron2_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron2_volumes_exact - putStr "prop_tetrahedron3_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron3_volumes_exact + -- putStr "prop_tetrahedron3_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron3_volumes_exact - putStr "prop_tetrahedron4_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron4_volumes_exact + -- putStr "prop_tetrahedron4_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron4_volumes_exact - putStr "prop_tetrahedron4_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron4_volumes_exact + -- putStr "prop_tetrahedron4_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron4_volumes_exact - putStr "prop_tetrahedron5_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron5_volumes_exact + -- putStr "prop_tetrahedron5_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron5_volumes_exact - putStr "prop_tetrahedron6_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron6_volumes_exact + -- putStr "prop_tetrahedron6_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron6_volumes_exact - putStr "prop_tetrahedron7_volumes_exact... " - quickCheckWith qc_args prop_tetrahedron7_volumes_exact + -- putStr "prop_tetrahedron7_volumes_exact... " + -- quickCheckWith qc_args prop_tetrahedron7_volumes_exact putStr "prop_tetrahedron0_volumes_positive... " quickCheckWith qc_args prop_tetrahedron0_volumes_positive