X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=test%2FTestSuite.hs;h=93236a55b9574f615ffd972a93b6ca1a3d563ac7;hb=9b49c83260ab5a3d94fc12fcefa7edcaabbd28f4;hp=cd39f575d6beb152c8b32cdf2527fe2f2352c1e0;hpb=25c8b387c4b655751265605bd4af033698624f38;p=spline3.git diff --git a/test/TestSuite.hs b/test/TestSuite.hs index cd39f57..93236a5 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -6,7 +6,8 @@ import Tests.Misc import Tests.Tetrahedron as TT -- The list of HUnit tests. -test_suite = TestList (concat [misc_tests, +test_suite = TestList (concat [face_tests, + misc_tests, tetrahedron_tests]) main :: IO () @@ -75,6 +76,8 @@ main = do putStr "prop_b3_v2_always_zero... " quickCheckWith qc_args prop_b3_v2_always_zero + putStrLn "\np. 78, (2.4)\n" + putStr "prop_c3000_identity... " quickCheckWith qc_args TT.prop_c3000_identity @@ -84,6 +87,10 @@ main = do putStr "prop_c1110_identity... " quickCheckWith qc_args TT.prop_c1110_identity + putStrLn "\np. 78, (2.5)\n" + + putStr "prop_cijk1_identity... " + quickCheckWith qc_args prop_cijk1_identity putStrLn "\np. 79, (2.6)\n" putStr "prop_c0120_identity1... "