scalbln_spec() coverage
specification Unifloat *scalbln_spec( CallContext context, Unifloat *x, LongT n, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
x - NaN |
|
6 |
| x - Infinity |
|
6 |
| x - zero |
|
6 |
| x - finite non-zero value, n - zero |
|
6 |
| x - finite non-zero value, n - non-zero |
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
|
48/9 |
| 100% (5/5) |
|
72/9 |
|