X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=4158d996b72d78f79a313a39aaaff1f278ccfee2;hb=b3e24f3c735626ec203e0e8406b8333100a8375e;hp=657994bee4e14e4f70d5dccd9a5fed5b6aa1fb19;hpb=ddc513c5d9051c57796a49df8be6294a0d0da0da;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index 657994b..4158d99 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -3,12 +3,14 @@ import Test.QuickCheck import Tests.Cardinal import Tests.Cube as TC +import Tests.FunctionValues import Tests.Grid import Tests.Misc import Tests.Tetrahedron as TT -- The list of HUnit tests. -test_suite = TestList (concat [grid_tests, +test_suite = TestList (concat [function_values_tests, + grid_tests, misc_tests, tetrahedron_tests]) @@ -145,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