]> gitweb.michael.orlitzky.com - spline3.git/blob - TestSuite.hs
e1255262dce8834cee97d4afc29906fec32d6239
[spline3.git] / TestSuite.hs
1 import Test.HUnit
2 import Test.QuickCheck
3
4 import Tests.Cardinal
5 import Tests.Cube
6 import Tests.Face as TF
7 import Tests.Misc
8 import Tests.Tetrahedron as TT
9
10 -- The list of HUnit tests.
11 test_suite = TestList (concat [face_tests,
12 misc_tests,
13 tetrahedron_tests])
14
15 main :: IO ()
16 main = do
17 putStrLn "HUnit"
18 putStrLn "-----"
19 runTestTT test_suite
20 putStrLn ""
21 putStrLn "QuickCheck"
22 putStrLn "----------"
23 let qc_args = stdArgs { maxSuccess = 100,
24 maxDiscard = 500,
25 maxSize = 100 }
26
27 putStr "prop_all_volumes_positive... "
28 quickCheckWith qc_args prop_all_volumes_positive
29
30 putStr "prop_front_face_volumes_positive... "
31 quickCheckWith qc_args prop_front_face_volumes_positive
32
33 putStr "prop_top_face_volumes_positive... "
34 quickCheckWith qc_args prop_top_face_volumes_positive
35
36 putStr "prop_v0_all_equal... "
37 quickCheckWith qc_args prop_v0_all_equal
38
39 -- putStr "prop_factorial_greater... "
40 -- quickCheckWith qc_args prop_factorial_greater
41
42 -- putStr "prop_b0_v0_always_unity... "
43 -- quickCheckWith qc_args prop_b0_v0_always_unity
44
45 -- putStr "prop_b0_v1_always_zero... "
46 -- quickCheckWith qc_args prop_b0_v1_always_zero
47
48 -- putStr "prop_b0_v2_always_zero... "
49 -- quickCheckWith qc_args prop_b0_v2_always_zero
50
51 -- putStr "prop_b0_v3_always_zero... "
52 -- quickCheckWith qc_args prop_b0_v3_always_zero
53
54 -- putStr "prop_b1_v1_always_unity... "
55 -- quickCheckWith qc_args prop_b1_v1_always_unity
56
57 -- putStr "prop_b1_v0_always_zero... "
58 -- quickCheckWith qc_args prop_b1_v0_always_zero
59
60 -- putStr "prop_b1_v2_always_zero... "
61 -- quickCheckWith qc_args prop_b1_v2_always_zero
62
63 -- putStr "prop_b1_v3_always_zero... "
64 -- quickCheckWith qc_args prop_b1_v3_always_zero
65
66 -- putStr "prop_b2_v2_always_unity... "
67 -- quickCheckWith qc_args prop_b2_v2_always_unity
68
69 -- putStr "prop_b2_v0_always_zero... "
70 -- quickCheckWith qc_args prop_b2_v0_always_zero
71
72 -- putStr "prop_b2_v1_always_zero... "
73 -- quickCheckWith qc_args prop_b2_v1_always_zero
74
75 -- putStr "prop_b2_v3_always_zero... "
76 -- quickCheckWith qc_args prop_b2_v3_always_zero
77
78 -- putStr "prop_b3_v3_always_unity... "
79 -- quickCheckWith qc_args prop_b3_v3_always_unity
80
81 -- putStr "prop_b3_v0_always_zero... "
82 -- quickCheckWith qc_args prop_b3_v0_always_zero
83
84 -- putStr "prop_b3_v1_always_zero... "
85 -- quickCheckWith qc_args prop_b3_v1_always_zero
86
87 -- putStr "prop_b3_v2_always_zero... "
88 -- quickCheckWith qc_args prop_b3_v2_always_zero
89
90 -- putStrLn "\np. 78, (2.4)\n"
91
92 -- putStr "prop_c3000_identity... "
93 -- quickCheckWith qc_args TT.prop_c3000_identity
94
95 -- putStr "prop_c2100_identity... "
96 -- quickCheckWith qc_args TT.prop_c2100_identity
97
98 -- putStr "prop_c1110_identity... "
99 -- quickCheckWith qc_args TT.prop_c1110_identity
100
101 -- putStrLn "\np. 78, (2.5)\n"
102
103 -- putStr "prop_cijk1_identity... "
104 -- quickCheckWith qc_args prop_cijk1_identity
105 -- putStrLn "\np. 79, (2.6)\n"
106
107 -- putStr "prop_c0120_identity1... "
108 -- quickCheckWith qc_args TF.prop_c0120_identity1
109
110 -- putStr "prop_c0210_identity1... "
111 -- quickCheckWith qc_args TF.prop_c0210_identity1
112
113 -- putStr "prop_c0300_identity1... "
114 -- quickCheckWith qc_args TF.prop_c0300_identity1
115
116 -- putStr "prop_c1110_identity... "
117 -- quickCheckWith qc_args TF.prop_c1110_identity
118
119 -- putStr "prop_c1200_identity1... "
120 -- quickCheckWith qc_args prop_c1200_identity1
121
122 -- putStr "prop_c2100_identity1... "
123 -- quickCheckWith qc_args TF.prop_c2100_identity1
124
125 -- putStrLn "\np. 79, (2.7)\n"
126
127 -- putStr "prop_c0102_identity1... "
128 -- quickCheckWith qc_args TF.prop_c0102_identity1
129
130 -- putStr "prop_c0201_identity1... "
131 -- quickCheckWith qc_args TF.prop_c0201_identity1
132
133 -- putStr "prop_c0300_identity2... "
134 -- quickCheckWith qc_args TF.prop_c0300_identity2
135
136 -- putStr "prop_c1101_identity... "
137 -- quickCheckWith qc_args TF.prop_c1101_identity
138
139 -- putStr "prop_c1200_identity2... "
140 -- quickCheckWith qc_args TF.prop_c1200_identity2
141
142 -- putStr "prop_c2100_identity2... "
143 -- quickCheckWith qc_args TF.prop_c2100_identity2
144
145 -- putStrLn "\np. 79, (2.8)\n"
146
147 -- putStr "prop_c3000_identity... "
148 -- quickCheckWith qc_args TF.prop_c3000_identity
149
150 -- putStr "prop_c2010_identity... "
151 -- quickCheckWith qc_args TF.prop_c2010_identity
152
153 -- putStr "prop_c2001_identity... "
154 -- quickCheckWith qc_args TF.prop_c2001_identity
155
156 -- putStr "prop_c1020_identity... "
157 -- quickCheckWith qc_args TF.prop_c1020_identity
158
159 -- putStr "prop_c1002_identity... "
160 -- quickCheckWith qc_args TF.prop_c1002_identity
161
162 -- putStr "prop_c1011_identity... "
163 -- quickCheckWith qc_args TF.prop_c1011_identity
164
165 -- putStrLn "\np. 80, (2.9)\n"
166
167 -- putStr "prop_c0120_identity2... "
168 -- quickCheckWith qc_args TF.prop_c0120_identity2
169
170 -- putStr "prop_c0102_identity2... "
171 -- quickCheckWith qc_args TF.prop_c0102_identity2
172
173 -- putStr "prop_c0111_identity... "
174 -- quickCheckWith qc_args TF.prop_c0111_identity
175
176 -- putStr "prop_c0210_identity2... "
177 -- quickCheckWith qc_args TF.prop_c0210_identity2
178
179 -- putStr "prop_c0201_identity2... "
180 -- quickCheckWith qc_args TF.prop_c0201_identity2
181
182 -- putStr "prop_c0300_identity3... "
183 -- quickCheckWith qc_args TF.prop_c0300_identity3
184
185 putStr "prop_ccwx_rotation_changes_direction... "
186 quickCheckWith qc_args prop_ccwx_rotation_changes_direction
187
188 putStr "prop_cwx_rotation_changes_direction... "
189 quickCheckWith qc_args prop_cwx_rotation_changes_direction
190
191 return ()