scenario math_real_scenario
| execution |
trace: /var/opt/lsb/test/olver-core/2013-07-25_08-37-08/math_real_scenario.utz (math_real_scenario.utt)
start: Thu Jul 25 08:44:17 EDT 2013
end: Thu Jul 25 08:44:17 EDT 2013
Product Name: CTESK
Product Build: 20090917
Host: localhost.localdomain
arch: ia32
Product Version: 2.7.287
Operating System: Linux 3.6.10-4.fc18.i686.PAE
|
| failures | fails |
|---|
failure 56: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 57: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 58: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 59: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 60: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 61: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 62: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 63: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 64: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 65: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 66: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 67: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 68: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 69: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 70: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 71: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 72: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 73: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 74: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 75: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 76: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 77: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 78: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 79: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 80: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 81: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 82: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 83: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 84: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 85: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 86: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 87: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 88: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 89: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 90: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 91: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 92: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 93: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 94: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 95: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 96: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 97: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 98: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 99: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 100: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 101: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 102: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 103: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 104: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 105: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 106: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 107: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 108: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 109: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 110: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 111: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 112: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 113: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 114: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 115: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 116: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 117: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 118: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 119: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 120: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 121: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 122: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 123: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 124: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 125: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 126: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 127: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 128: Requirement failed: {remquof.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set
failure 129: Requirement failed: {remquof.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set
failure 130: Requirement failed: {remquo.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set
failure 131: Requirement failed: {remquo.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set
failure 132: Requirement failed: {remquol.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set
failure 133: Requirement failed: {remquol.07.01.01} Function executed successfully with EOK error code, while `(isInfinity_Unifloat(x) && !isNan_Unifloat(y)) || (isZero_Unifloat(y) && !isNan_Unifloat(x)) == true` means that EDOM SHALL be set
|
78 |
|