lrint_spec() coverage
specification LongT lrint_spec( CallContext context, Unifloat *x, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
x is NaN |
failure 65: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 69: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 89: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 93: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 113: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 117: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
|
6/6 |
| x is infinity |
failure 73: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 77: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 97: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 101: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 121: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 125: Requirement failed: {lrintl.10.01.01} 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 81: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 85: Requirement failed: {lrintf.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 105: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 109: Requirement failed: {lrint.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 129: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 133: Requirement failed: {lrintl.10.01.01} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
|
48/6 |
| 100% (4/4) |
|
66/18 |
|