1# Copyright 2013 the V8 project authors. All rights reserved.
2# Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions
6# are met:
7# 1.  Redistributions of source code must retain the above copyright
8#     notice, this list of conditions and the following disclaimer.
9# 2.  Redistributions in binary form must reproduce the above copyright
10#     notice, this list of conditions and the following disclaimer in the
11#     documentation and/or other materials provided with the distribution.
12#
13# THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY
14# EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
15# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
16# DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY
17# DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
18# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
19# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
20# ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
21# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
22# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23
24Tests that a dead use of Math.min(a,b) at least speculates that its arguments are indeed numbers.
25
26On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
27
28
29PASS result is 100
30PASS result is 100
31PASS result is 100
32PASS result is 100
33PASS result is 100
34PASS result is 100
35PASS result is 100
36PASS result is 100
37PASS result is 100
38PASS result is 100
39PASS result is 100
40PASS result is 100
41PASS result is 100
42PASS result is 100
43PASS result is 100
44PASS result is 100
45PASS result is 100
46PASS result is 100
47PASS result is 100
48PASS result is 100
49PASS result is 100
50PASS result is 100
51PASS result is 100
52PASS result is 100
53PASS result is 100
54PASS result is 100
55PASS result is 100
56PASS result is 100
57PASS result is 100
58PASS result is 100
59PASS result is 100
60PASS result is 100
61PASS result is 100
62PASS result is 100
63PASS result is 100
64PASS result is 100
65PASS result is 100
66PASS result is 100
67PASS result is 100
68PASS result is 100
69PASS result is 100
70PASS result is 100
71PASS result is 100
72PASS result is 100
73PASS result is 100
74PASS result is 100
75PASS result is 100
76PASS result is 100
77PASS result is 100
78PASS result is 100
79PASS result is 100
80PASS result is 100
81PASS result is 100
82PASS result is 100
83PASS result is 100
84PASS result is 100
85PASS result is 100
86PASS result is 100
87PASS result is 100
88PASS result is 100
89PASS result is 100
90PASS result is 100
91PASS result is 100
92PASS result is 100
93PASS result is 100
94PASS result is 100
95PASS result is 100
96PASS result is 100
97PASS result is 100
98PASS result is 100
99PASS result is 100
100PASS result is 100
101PASS result is 100
102PASS result is 100
103PASS result is 100
104PASS result is 100
105PASS result is 100
106PASS result is 100
107PASS result is 100
108PASS result is 100
109PASS result is 100
110PASS result is 100
111PASS result is 100
112PASS result is 100
113PASS result is 100
114PASS result is 100
115PASS result is 100
116PASS result is 100
117PASS result is 100
118PASS result is 100
119PASS result is 100
120PASS result is 100
121PASS result is 100
122PASS result is 100
123PASS result is 100
124PASS result is 100
125PASS result is 100
126PASS result is 100
127PASS result is 100
128PASS result is 100
129PASS result is 100
130PASS result is 100
131PASS result is 100
132PASS result is 100
133PASS result is 100
134PASS result is 100
135PASS result is 100
136PASS result is 100
137PASS result is 100
138PASS result is 100
139PASS result is 100
140PASS result is 100
141PASS result is 100
142PASS result is 100
143PASS result is 100
144PASS result is 100
145PASS result is 100
146PASS result is 100
147PASS result is 100
148PASS result is 100
149PASS result is 100
150PASS result is 100
151PASS result is 100
152PASS result is 100
153PASS result is 100
154PASS result is 100
155PASS result is 100
156PASS result is 100
157PASS result is 100
158PASS result is 100
159PASS result is 100
160PASS result is 100
161PASS result is 100
162PASS result is 100
163PASS result is 100
164PASS result is 100
165PASS result is 100
166PASS result is 100
167PASS result is 100
168PASS result is 100
169PASS result is 100
170PASS result is 100
171PASS result is 100
172PASS result is 100
173PASS result is 100
174PASS result is 100
175PASS result is 100
176PASS result is 100
177PASS result is 100
178PASS result is 100
179PASS ok is 150
180PASS result is 100
181PASS ok is 151
182PASS result is 100
183PASS ok is 152
184PASS result is 100
185PASS ok is 153
186PASS result is 100
187PASS ok is 154
188PASS result is 100
189PASS ok is 155
190PASS result is 100
191PASS ok is 156
192PASS result is 100
193PASS ok is 157
194PASS result is 100
195PASS ok is 158
196PASS result is 100
197PASS ok is 159
198PASS result is 100
199PASS ok is 160
200PASS result is 100
201PASS ok is 161
202PASS result is 100
203PASS ok is 162
204PASS result is 100
205PASS ok is 163
206PASS result is 100
207PASS ok is 164
208PASS result is 100
209PASS ok is 165
210PASS result is 100
211PASS ok is 166
212PASS result is 100
213PASS ok is 167
214PASS result is 100
215PASS ok is 168
216PASS result is 100
217PASS ok is 169
218PASS result is 100
219PASS ok is 170
220PASS result is 100
221PASS ok is 171
222PASS result is 100
223PASS ok is 172
224PASS result is 100
225PASS ok is 173
226PASS result is 100
227PASS ok is 174
228PASS result is 100
229PASS ok is 175
230PASS result is 100
231PASS ok is 176
232PASS result is 100
233PASS ok is 177
234PASS result is 100
235PASS ok is 178
236PASS result is 100
237PASS ok is 179
238PASS result is 100
239PASS ok is 180
240PASS result is 100
241PASS ok is 181
242PASS result is 100
243PASS ok is 182
244PASS result is 100
245PASS ok is 183
246PASS result is 100
247PASS ok is 184
248PASS result is 100
249PASS ok is 185
250PASS result is 100
251PASS ok is 186
252PASS result is 100
253PASS ok is 187
254PASS result is 100
255PASS ok is 188
256PASS result is 100
257PASS ok is 189
258PASS result is 100
259PASS ok is 190
260PASS result is 100
261PASS ok is 191
262PASS result is 100
263PASS ok is 192
264PASS result is 100
265PASS ok is 193
266PASS result is 100
267PASS ok is 194
268PASS result is 100
269PASS ok is 195
270PASS result is 100
271PASS ok is 196
272PASS result is 100
273PASS ok is 197
274PASS result is 100
275PASS ok is 198
276PASS result is 100
277PASS ok is 199
278PASS result is 100
279PASS result is 100
280PASS result is 100
281PASS result is 100
282PASS result is 100
283PASS result is 100
284PASS result is 100
285PASS result is 100
286PASS result is 100
287PASS result is 100
288PASS result is 100
289PASS result is 100
290PASS result is 100
291PASS result is 100
292PASS result is 100
293PASS result is 100
294PASS result is 100
295PASS result is 100
296PASS result is 100
297PASS result is 100
298PASS result is 100
299PASS result is 100
300PASS result is 100
301PASS result is 100
302PASS result is 100
303PASS result is 100
304PASS result is 100
305PASS result is 100
306PASS result is 100
307PASS result is 100
308PASS result is 100
309PASS result is 100
310PASS result is 100
311PASS result is 100
312PASS result is 100
313PASS result is 100
314PASS result is 100
315PASS result is 100
316PASS result is 100
317PASS result is 100
318PASS result is 100
319PASS result is 100
320PASS result is 100
321PASS result is 100
322PASS result is 100
323PASS result is 100
324PASS result is 100
325PASS result is 100
326PASS result is 100
327PASS result is 100
328PASS result is 100
329PASS result is 100
330PASS result is 100
331PASS result is 100
332PASS result is 100
333PASS result is 100
334PASS result is 100
335PASS result is 100
336PASS result is 100
337PASS result is 100
338PASS result is 100
339PASS result is 100
340PASS result is 100
341PASS result is 100
342PASS result is 100
343PASS result is 100
344PASS result is 100
345PASS result is 100
346PASS result is 100
347PASS result is 100
348PASS result is 100
349PASS result is 100
350PASS result is 100
351PASS result is 100
352PASS result is 100
353PASS result is 100
354PASS result is 100
355PASS result is 100
356PASS result is 100
357PASS result is 100
358PASS result is 100
359PASS result is 100
360PASS result is 100
361PASS result is 100
362PASS result is 100
363PASS result is 100
364PASS result is 100
365PASS result is 100
366PASS result is 100
367PASS result is 100
368PASS result is 100
369PASS result is 100
370PASS result is 100
371PASS result is 100
372PASS result is 100
373PASS result is 100
374PASS result is 100
375PASS result is 100
376PASS result is 100
377PASS result is 100
378PASS result is 100
379PASS result is 100
380PASS result is 100
381PASS result is 100
382PASS result is 100
383PASS result is 100
384PASS result is 100
385PASS result is 100
386PASS result is 100
387PASS result is 100
388PASS result is 100
389PASS result is 100
390PASS result is 100
391PASS result is 100
392PASS result is 100
393PASS result is 100
394PASS result is 100
395PASS result is 100
396PASS result is 100
397PASS result is 100
398PASS result is 100
399PASS result is 100
400PASS result is 100
401PASS result is 100
402PASS result is 100
403PASS result is 100
404PASS result is 100
405PASS result is 100
406PASS result is 100
407PASS result is 100
408PASS result is 100
409PASS result is 100
410PASS result is 100
411PASS result is 100
412PASS result is 100
413PASS result is 100
414PASS result is 100
415PASS result is 100
416PASS result is 100
417PASS result is 100
418PASS result is 100
419PASS result is 100
420PASS result is 100
421PASS result is 100
422PASS result is 100
423PASS result is 100
424PASS result is 100
425PASS result is 100
426PASS result is 100
427PASS result is 100
428PASS result is 100
429PASS ok is 150
430PASS result is 100
431PASS ok is 151
432PASS result is 100
433PASS ok is 152
434PASS result is 100
435PASS ok is 153
436PASS result is 100
437PASS ok is 154
438PASS result is 100
439PASS ok is 155
440PASS result is 100
441PASS ok is 156
442PASS result is 100
443PASS ok is 157
444PASS result is 100
445PASS ok is 158
446PASS result is 100
447PASS ok is 159
448PASS result is 100
449PASS ok is 160
450PASS result is 100
451PASS ok is 161
452PASS result is 100
453PASS ok is 162
454PASS result is 100
455PASS ok is 163
456PASS result is 100
457PASS ok is 164
458PASS result is 100
459PASS ok is 165
460PASS result is 100
461PASS ok is 166
462PASS result is 100
463PASS ok is 167
464PASS result is 100
465PASS ok is 168
466PASS result is 100
467PASS ok is 169
468PASS result is 100
469PASS ok is 170
470PASS result is 100
471PASS ok is 171
472PASS result is 100
473PASS ok is 172
474PASS result is 100
475PASS ok is 173
476PASS result is 100
477PASS ok is 174
478PASS result is 100
479PASS ok is 175
480PASS result is 100
481PASS ok is 176
482PASS result is 100
483PASS ok is 177
484PASS result is 100
485PASS ok is 178
486PASS result is 100
487PASS ok is 179
488PASS result is 100
489PASS ok is 180
490PASS result is 100
491PASS ok is 181
492PASS result is 100
493PASS ok is 182
494PASS result is 100
495PASS ok is 183
496PASS result is 100
497PASS ok is 184
498PASS result is 100
499PASS ok is 185
500PASS result is 100
501PASS ok is 186
502PASS result is 100
503PASS ok is 187
504PASS result is 100
505PASS ok is 188
506PASS result is 100
507PASS ok is 189
508PASS result is 100
509PASS ok is 190
510PASS result is 100
511PASS ok is 191
512PASS result is 100
513PASS ok is 192
514PASS result is 100
515PASS ok is 193
516PASS result is 100
517PASS ok is 194
518PASS result is 100
519PASS ok is 195
520PASS result is 100
521PASS ok is 196
522PASS result is 100
523PASS ok is 197
524PASS result is 100
525PASS ok is 198
526PASS result is 100
527PASS ok is 199
528PASS result is 100
529PASS successfullyParsed is true
530
531TEST COMPLETE
532
533