6 import Tests.Tetrahedron
8 -- The list of HUnit tests.
9 test_suite = TestList (concat [misc_tests,
20 let qc_args = stdArgs { maxSuccess = 1000,
24 putStr "prop_all_volumes_nonnegative... "
25 quickCheckWith qc_args prop_all_volumes_nonnegative
27 putStr "prop_factorial_greater... "
28 quickCheckWith qc_args prop_factorial_greater
30 putStr "prop_b0_v0_always_unity... "
31 quickCheckWith qc_args prop_b0_v0_always_unity
33 putStr "prop_b0_v1_always_zero... "
34 quickCheckWith qc_args prop_b0_v1_always_zero
36 putStr "prop_b0_v2_always_zero... "
37 quickCheckWith qc_args prop_b0_v2_always_zero
39 putStr "prop_b0_v3_always_zero... "
40 quickCheckWith qc_args prop_b0_v3_always_zero
42 putStr "prop_b1_v1_always_unity... "
43 quickCheckWith qc_args prop_b1_v1_always_unity
45 putStr "prop_b1_v0_always_zero... "
46 quickCheckWith qc_args prop_b1_v0_always_zero
48 putStr "prop_b1_v2_always_zero... "
49 quickCheckWith qc_args prop_b1_v2_always_zero
51 putStr "prop_b1_v3_always_zero... "
52 quickCheckWith qc_args prop_b1_v3_always_zero
54 putStr "prop_b2_v2_always_unity... "
55 quickCheckWith qc_args prop_b2_v2_always_unity
57 putStr "prop_b2_v0_always_zero... "
58 quickCheckWith qc_args prop_b2_v0_always_zero
60 putStr "prop_b2_v1_always_zero... "
61 quickCheckWith qc_args prop_b2_v1_always_zero
63 putStr "prop_b2_v3_always_zero... "
64 quickCheckWith qc_args prop_b2_v3_always_zero
66 putStr "prop_b3_v3_always_unity... "
67 quickCheckWith qc_args prop_b3_v3_always_unity
69 putStr "prop_b3_v0_always_zero... "
70 quickCheckWith qc_args prop_b3_v0_always_zero
72 putStr "prop_b3_v1_always_zero... "
73 quickCheckWith qc_args prop_b3_v1_always_zero
75 putStr "prop_b3_v2_always_zero... "
76 quickCheckWith qc_args prop_b3_v2_always_zero
78 putStr "prop_c3000_identity... "
79 quickCheckWith qc_args prop_c3000_identity
81 putStr "prop_c2100_identity... "
82 quickCheckWith qc_args prop_c2100_identity
84 putStr "prop_c1110_identity... "
85 quickCheckWith qc_args prop_c1110_identity