blob: c86afd965a9219054db2bb5a486478f1b9b2954f (
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
52
53
54
55
56
|
// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* @name: S8.5_A5;
* @section: 8.5, 7.8.3;
* @assertion: NaN not greater or equal zero;
* @description: Compare NaN with zero;
*/
var x = NaN;
var x_geq_0=(x >= 0.0);
var x_leq_0=(x <= 0.0);
var x_leq_0_OR_geq_0=(x <= 0.0)||(x >= 0.0);
var x_geq_0_ADD_leq_0=(x >= 0.0) + (x <= 0.0);
///////////////////////////////////////////////////
// CHECK#1
if (x_geq_0){
$ERROR('#1: NaN not greater or equal zero');
} else {
$PRINT('#1: NaN not greater or equal zero');
}
//
///////////////////////////////////////////////////
///////////////////////////////////////////////////
// CHECK#2
if (x_leq_0){
$ERROR('#2: NaN not less or equal zero');
} else {
$PRINT('#2: NaN not less or equal zero');
}
//
///////////////////////////////////////////////////
///////////////////////////////////////////////////
// CHECK#3
if (x_leq_0_OR_geq_0){
$ERROR('#3: NaN not less or equal zero OR greater or equal zero');
} else {
$PRINT('#3: NaN not less or equal zero OR greater or equal zero');
}
//
///////////////////////////////////////////////////
///////////////////////////////////////////////////
// CHECK#4
if (x_geq_0_ADD_leq_0){
$ERROR('#4: NaN not less or equal zero ADD greater or equal zero');
} else {
$PRINT('#4: NaN not less or equal zero ADD greater or equal zero');
}
//
///////////////////////////////////////////////////
|
