X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=4158d996b72d78f79a313a39aaaff1f278ccfee2;hb=b3e24f3c735626ec203e0e8406b8333100a8375e;hp=baf1ab11ef3679200cc361c5610890d942325424;hpb=2c2dbf7c58850f3b8294457ca8f4adf9474c7ce7;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index baf1ab1..4158d99 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -147,6 +147,21 @@ main = do putStr "prop_c0120_identity1... " quickCheckWith qc_args TC.prop_c0120_identity1 + putStr "prop_c0120_identity2... " + quickCheckWith qc_args TC.prop_c0120_identity2 + + putStr "prop_c0120_identity3... " + quickCheckWith qc_args TC.prop_c0120_identity3 + + putStr "prop_c0120_identity4... " + quickCheckWith qc_args TC.prop_c0120_identity4 + + putStr "prop_c0120_identity5... " + quickCheckWith qc_args TC.prop_c0120_identity5 + + putStr "prop_c0120_identity6... " + quickCheckWith qc_args TC.prop_c0120_identity6 + putStr "prop_c0210_identity1... " quickCheckWith qc_args TC.prop_c0210_identity1