scenario util_float_scenario
| execution |
trace: /var/opt/lsb/test/olver-core/2014-01-29_05-08-38/util_float_scenario.utz (util_float_scenario.utt)
start: Wed Jan 29 06:48:42 EST 2014
end: Wed Jan 29 06:48:43 EST 2014
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 375: Requirement failed: {logbf.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
failure 376: Requirement failed: {logbf.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
failure 377: Requirement failed: {logb.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
failure 378: Requirement failed: {logb.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
failure 379: Requirement failed: {logbl.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
failure 380: Requirement failed: {logbl.08.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) == true` means that ERANGE SHALL be set
failure 381: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 382: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 383: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 384: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 385: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 386: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 387: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 388: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 389: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 390: Requirement failed: {nextafterf.10.01.01;nextafterf.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 391: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 392: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 393: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 394: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 395: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 396: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 397: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 398: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 399: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 400: Requirement failed: {nextafter.10.01.01;nextafter.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 401: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 402: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 403: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 404: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 405: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 406: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 407: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 408: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 409: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 410: Requirement failed: {nextafterl.10.01.01;nextafterl.10.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 411: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 412: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 413: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 414: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 415: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 416: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 417: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 418: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 419: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 420: Requirement failed: {nexttowardf.09.01.01;nexttowardf.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 421: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 422: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 423: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 424: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 425: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 426: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 427: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 428: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 429: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 430: Requirement failed: {nexttoward.09.01.01;nexttoward.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 431: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 432: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 433: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 434: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 435: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 436: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 437: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 438: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 439: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 440: Requirement failed: {nexttowardl.09.01.01;nexttowardl.09.02.01} Function executed successfully with EOK error code, while `(isOverflow_Unifloat(model_res) && isNormal_Unifloat(x)) || ((isUnderflow_Unifloat(model_res) || isZero_Unifloat(model_res)) && (compare_Unifloat(x,y) != 0)) == true` means that ERANGE SHALL be set
failure 441: Requirement failed: {scalbf.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
failure 442: Requirement failed: {scalbf.14.02.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 443: Requirement failed: {scalbf.14.02.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 444: Requirement failed: {scalbf.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
failure 445: Requirement failed: {scalb.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
failure 446: Requirement failed: {scalb.14.02.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 447: Requirement failed: {scalb.14.02.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 448: Requirement failed: {scalb.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
failure 449: Requirement failed: {scalbl.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
failure 450: Requirement failed: {scalbl.14.02.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 451: Requirement failed: {scalbl.14.02.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 452: Requirement failed: {scalbl.14.01.01} Function executed successfully with EOK error code, while `isZero_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == 1) || isInfinity_Unifloat(x) && isInfinity_Unifloat(n) && (n->sign == -1) == true` means that EDOM SHALL be set
failure 453: Requirement failed: {scalblnf.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 454: Requirement failed: {scalblnf.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 455: Requirement failed: {scalblnf.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 456: Requirement failed: {scalbln.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 457: Requirement failed: {scalbln.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 458: Requirement failed: {scalbln.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 459: Requirement failed: {scalblnl.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 460: Requirement failed: {scalblnl.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 461: Requirement failed: {scalblnl.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 462: Requirement failed: {scalbnf.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 463: Requirement failed: {scalbnf.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 464: Requirement failed: {scalbnf.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 465: Requirement failed: {scalbn.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 466: Requirement failed: {scalbn.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 467: Requirement failed: {scalbn.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 468: Requirement failed: {scalbnl.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 469: Requirement failed: {scalbnl.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
failure 470: Requirement failed: {scalbnl.11.01.01} Function executed successfully with EOK error code, while `isOverflow_Unifloat(model_res) == true` means that ERANGE SHALL be set
|
96 |
|