Lines Matching refs:do_test

22 do_test minmax-1.0 {
51 do_test minmax-1.1 {
55 do_test minmax-1.2 {
58 do_test minmax-1.3 {
62 do_test minmax-1.4 {
65 do_test minmax-1.5 {
70 do_test minmax-1.6 {
73 do_test minmax-1.7 {
77 do_test minmax-1.8 {
80 do_test minmax-1.9 {
84 do_test minmax-1.10 {
88 do_test minmax-2.0 {
96 do_test minmax-2.1 {
99 do_test minmax-2.2 {
103 do_test minmax-2.3 {
107 do_test minmax-3.0 {
112 do_test minmax-3.1 {
115 do_test minmax-3.2 {
122 do_test minmax-3.3 {
126 do_test minmax-4.1 {
132 do_test minmax-4.2 {
139 do_test minmax-4.3 {
150 do_test minmax-5.1 {
156 do_test minmax-5.2 {
161 do_test minmax-5.3 {
166 do_test minmax-5.4 {
171 do_test minmax-5.5 {
180 do_test minmax-6.1 {
185 do_test minmax-6.2 {
190 do_test minmax-6.3 {
195 do_test minmax-6.4 {
200 do_test minmax-6.5 {
205 do_test minmax-6.6 {
210 do_test minmax-6.7 {
219 do_test minmax-7.1 {
224 do_test minmax-7.2 {
229 do_test minmax-7.3 {
234 do_test minmax-7.4 {
243 do_test minmax-8.1 {
252 do_test minmax-8.2 {
265 do_test minmax-9.1 {
272 do_test minmax-9.2 {
283 do_test minmax-10.1 {
292 do_test minmax-10.2 {
297 do_test minmax-10.3 {
303 do_test minmax-10.4 {
308 do_test minmax-10.5 {
314 do_test minmax-10.6 {
319 do_test minmax-10.7 {
324 do_test minmax-10.8 {
329 do_test minmax-10.9 {
344 do_test minmax-10.10 {
349 do_test minmax-10.11 {
354 do_test minmax-10.12 {