From 1b5119ed681268c16c08ee7c9cc7b1766d363a6e Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 6 May 2011 18:38:20 -0400 Subject: [PATCH] Re-enable the Cube tests in the suite. --- test/TestSuite.hs | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/test/TestSuite.hs b/test/TestSuite.hs index ea5eb5e..e125526 100644 --- a/test/TestSuite.hs +++ b/test/TestSuite.hs @@ -2,6 +2,7 @@ import Test.HUnit import Test.QuickCheck import Tests.Cardinal +import Tests.Cube import Tests.Face as TF import Tests.Misc import Tests.Tetrahedron as TT @@ -23,8 +24,17 @@ main = do maxDiscard = 500, maxSize = 100 } - -- putStr "prop_all_volumes_positive... " - -- quickCheckWith qc_args prop_all_volumes_positive + putStr "prop_all_volumes_positive... " + quickCheckWith qc_args prop_all_volumes_positive + + putStr "prop_front_face_volumes_positive... " + quickCheckWith qc_args prop_front_face_volumes_positive + + putStr "prop_top_face_volumes_positive... " + quickCheckWith qc_args prop_top_face_volumes_positive + + putStr "prop_v0_all_equal... " + quickCheckWith qc_args prop_v0_all_equal -- putStr "prop_factorial_greater... " -- quickCheckWith qc_args prop_factorial_greater -- 2.43.2