lround_spec() coverage
specification LongT lround_spec( CallContext context, Unifloat *x, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
x is NaN |
failure 66: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 70: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 90: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 94: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 114: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 118: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
|
6/6 |
| x is infinity |
failure 74: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 78: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 98: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 102: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 122: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 126: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.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 82: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 86: Requirement failed: {lroundf.10.01.01;lroundf.05;lroundf.06;lroundf.07;lroundf.08;lroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 106: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 110: Requirement failed: {lround.10.01.01;lround.05;lround.06;lround.07;lround.08;lround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 130: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 134: Requirement failed: {lroundl.10.01.01;lroundl.05;lroundl.06;lroundl.07;lroundl.08;lroundl.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 |
|