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
failuresfails
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