blob: 1237ce2b8209cbfbd04bc3a62841a76d11bb54e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S11.8.3_A4.7;
* @section: 11.8.3, 11.8.5;
* @assertion: If x is -Infinity, return true;
* @description: y is number primitive;
*/
//CHECK#1
if ((Number.NEGATIVE_INFINITY <= 0) !== true) {
$ERROR('#1: (-Infinity <= 0) === true');
}
//CHECK#2
if ((Number.NEGATIVE_INFINITY <= 1.1) !== true) {
$ERROR('#2: (-Infinity <= 1.1) === true');
}
//CHECK#3
if ((Number.NEGATIVE_INFINITY <= -1.1) !== true) {
$ERROR('#3: (-Infinity <= -1.1) === true');
}
//CHECK#4
if ((Number.NEGATIVE_INFINITY <= Number.POSITIVE_INFINITY) !== true) {
$ERROR('#4: (-Infinity <= +Infinity) === true');
}
//CHECK#5
if ((Number.NEGATIVE_INFINITY <= Number.MAX_VALUE) !== true) {
$ERROR('#5: (-Infinity <= Number.MAX_VALUE) === true');
}
//CHECK#6
if ((Number.NEGATIVE_INFINITY <= Number.MIN_VALUE) !== true) {
$ERROR('#6: (-Infinity <= Number.MIN_VALUE) === true');
}
|