# Copyright 2013 the V8 project authors. All rights reserved.
# Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
#
# Redistribution and use in source and binary forms, with or without
# modification, are permitted provided that the following conditions
# are met:
# 1.  Redistributions of source code must retain the above copyright
#     notice, this list of conditions and the following disclaimer.
# 2.  Redistributions in binary form must reproduce the above copyright
#     notice, this list of conditions and the following disclaimer in the
#     documentation and/or other materials provided with the distribution.
#
# THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY
# EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
# DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY
# DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
# ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

Tests that a dead use of Math.min(a,b) at least speculates that its arguments are indeed numbers.

On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".


PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS ok is 150
PASS result is 100
PASS ok is 151
PASS result is 100
PASS ok is 152
PASS result is 100
PASS ok is 153
PASS result is 100
PASS ok is 154
PASS result is 100
PASS ok is 155
PASS result is 100
PASS ok is 156
PASS result is 100
PASS ok is 157
PASS result is 100
PASS ok is 158
PASS result is 100
PASS ok is 159
PASS result is 100
PASS ok is 160
PASS result is 100
PASS ok is 161
PASS result is 100
PASS ok is 162
PASS result is 100
PASS ok is 163
PASS result is 100
PASS ok is 164
PASS result is 100
PASS ok is 165
PASS result is 100
PASS ok is 166
PASS result is 100
PASS ok is 167
PASS result is 100
PASS ok is 168
PASS result is 100
PASS ok is 169
PASS result is 100
PASS ok is 170
PASS result is 100
PASS ok is 171
PASS result is 100
PASS ok is 172
PASS result is 100
PASS ok is 173
PASS result is 100
PASS ok is 174
PASS result is 100
PASS ok is 175
PASS result is 100
PASS ok is 176
PASS result is 100
PASS ok is 177
PASS result is 100
PASS ok is 178
PASS result is 100
PASS ok is 179
PASS result is 100
PASS ok is 180
PASS result is 100
PASS ok is 181
PASS result is 100
PASS ok is 182
PASS result is 100
PASS ok is 183
PASS result is 100
PASS ok is 184
PASS result is 100
PASS ok is 185
PASS result is 100
PASS ok is 186
PASS result is 100
PASS ok is 187
PASS result is 100
PASS ok is 188
PASS result is 100
PASS ok is 189
PASS result is 100
PASS ok is 190
PASS result is 100
PASS ok is 191
PASS result is 100
PASS ok is 192
PASS result is 100
PASS ok is 193
PASS result is 100
PASS ok is 194
PASS result is 100
PASS ok is 195
PASS result is 100
PASS ok is 196
PASS result is 100
PASS ok is 197
PASS result is 100
PASS ok is 198
PASS result is 100
PASS ok is 199
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS result is 100
PASS ok is 150
PASS result is 100
PASS ok is 151
PASS result is 100
PASS ok is 152
PASS result is 100
PASS ok is 153
PASS result is 100
PASS ok is 154
PASS result is 100
PASS ok is 155
PASS result is 100
PASS ok is 156
PASS result is 100
PASS ok is 157
PASS result is 100
PASS ok is 158
PASS result is 100
PASS ok is 159
PASS result is 100
PASS ok is 160
PASS result is 100
PASS ok is 161
PASS result is 100
PASS ok is 162
PASS result is 100
PASS ok is 163
PASS result is 100
PASS ok is 164
PASS result is 100
PASS ok is 165
PASS result is 100
PASS ok is 166
PASS result is 100
PASS ok is 167
PASS result is 100
PASS ok is 168
PASS result is 100
PASS ok is 169
PASS result is 100
PASS ok is 170
PASS result is 100
PASS ok is 171
PASS result is 100
PASS ok is 172
PASS result is 100
PASS ok is 173
PASS result is 100
PASS ok is 174
PASS result is 100
PASS ok is 175
PASS result is 100
PASS ok is 176
PASS result is 100
PASS ok is 177
PASS result is 100
PASS ok is 178
PASS result is 100
PASS ok is 179
PASS result is 100
PASS ok is 180
PASS result is 100
PASS ok is 181
PASS result is 100
PASS ok is 182
PASS result is 100
PASS ok is 183
PASS result is 100
PASS ok is 184
PASS result is 100
PASS ok is 185
PASS result is 100
PASS ok is 186
PASS result is 100
PASS ok is 187
PASS result is 100
PASS ok is 188
PASS result is 100
PASS ok is 189
PASS result is 100
PASS ok is 190
PASS result is 100
PASS ok is 191
PASS result is 100
PASS ok is 192
PASS result is 100
PASS ok is 193
PASS result is 100
PASS ok is 194
PASS result is 100
PASS ok is 195
PASS result is 100
PASS ok is 196
PASS result is 100
PASS ok is 197
PASS result is 100
PASS ok is 198
PASS result is 100
PASS ok is 199
PASS result is 100
PASS successfullyParsed is true

TEST COMPLETE