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])
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