blob: 7592366f3a7f4ecacbcd30c7948bfa11f03c0690 (
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
41
42
43
44
45
46
47
48
49
50
51
|
// 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.9;
* @section: 11.8.3, 11.8.5;
* @assertion: If x is less or equal than y and these values are both finite non-zero, return true; otherwise, return false;
* @description: x and y are number primitives;
*/
//CHECK#1
if ((1.1 <= 1) !== false) {
$ERROR('#1: (1.1 <= 1) === false');
}
//CHECK#2
if ((1 <= 1.1) !== true) {
$ERROR('#2: (1 <= 1.1) === true');
}
//CHECK#3
if ((-1.1 <= -1) !== true) {
$ERROR('#3: (-1.1 <= -1) === true');
}
//CHECK#4
if ((-1 <= -1.1) !== false) {
$ERROR('#4: (-1 <= -1.1) === false');
}
//CHECK#5
if ((0 <= 0.1) !== true) {
$ERROR('#5: (0 <= 0.1) === true');
}
//CHECK#6
if ((-0.1 <= 0) !== true) {
$ERROR('#6: (-0.1 <= 0) === true');
}
//CHECK#7
if ((Number.MAX_VALUE/2 <= Number.MAX_VALUE) !== true) {
$ERROR('#7: (Number.MAX_VALUE/2 <= Number.MAX_VALUE) === true');
}
//CHECK#8
if ((Number.MIN_VALUE <= Number.MIN_VALUE*2) !== true) {
$ERROR('#8: (Number.MIN_VALUE <= Number.MIN_VALUE*2) === true');
}
|
