scenario util_float_scenario
execution |
trace: /var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_float_scenario.utz (util_float_scenario.utt)
start: Mon Jan 21 12:02:01 EST 2013
end: Mon Jan 21 12:02:01 EST 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 416: 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 417: 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 418: 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 419: 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 420: 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 421: 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 422: 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 423: 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 424: 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 425: 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 426: 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 427: 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 428: 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 429: 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 430: 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 431: 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 432: 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 433: 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 434: 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 435: 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 436: 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 437: 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 438: 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 439: 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 440: 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 441: 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 442: 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 443: 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 444: 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 445: 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 446: 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 447: 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 448: 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 449: 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 450: 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 451: 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 452: 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 453: 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 454: 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 455: 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 456: 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 457: 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 458: 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 459: 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 460: 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 461: 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 462: 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 463: 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 464: 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 465: 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 466: 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 467: 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 468: 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 469: 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 470: 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 471: 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 472: 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 473: 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 474: 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 475: 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 476: 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 477: 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 478: 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 479: 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 480: 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 481: 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 482: 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 483: 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 484: 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 485: 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 486: 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 487: 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 488: 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 489: 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 490: 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 491: 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 492: 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 493: 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 494: 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 495: 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 496: 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 497: 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 498: 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 499: 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 500: 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 501: 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 502: 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 503: 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 504: 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 505: 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 506: 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 507: 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 508: 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 509: 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 510: 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 511: 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 |
|