scalb_spec() coverage
specification Unifloat *scalb_spec( CallContext context, Unifloat *x, Unifloat *n, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
x or n is NaN |
|
18 |
| n is zero |
|
6 |
| x and n are infinity |
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 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 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
|
6/3 |
| x - infinite value, n - finite value |
|
6 |
| x is zero, n is infinity |
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 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 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
|
6/3 |
| x is zero, n - finite value |
|
6 |
| x is non-zero, n is infinity |
|
6 |
| x is non-zero, n - finite value |
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 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 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
|
42/6 |
| 100% (8/8) |
|
96/12 |
|