llrint_spec() coverage
specification LLongT llrint_spec( CallContext context, Unifloat *x, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
x is NaN |
failure 56: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 60: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 80: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 84: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 104: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 108: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
|
6/6 |
| x is infinity |
failure 64: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 68: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 88: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 92: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 112: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 116: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
|
6/6 |
| x is zero |
|
6 |
| x is finite non-zero value |
failure 72: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 76: Requirement failed: {llrintf.10.01.01;llrintf.05;llrintf.06;llrintf.07;llrintf.08;llrintf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 96: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 100: Requirement failed: {llrint.10.01.01;llrint.05;llrint.06;llrint.07;llrint.08;llrint.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 120: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 124: Requirement failed: {llrintl.10.01.01;llrintl.05;llrintl.06;llrintl.07;llrintl.08;llrintl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
|
48/6 |
| 100% (4/4) |
|
66/18 |
|