llround_spec() coverage
specification LLongT llround_spec( CallContext context, Unifloat *x, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
x is NaN |
failure 39: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 43: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 63: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 67: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 87: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 91: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
|
6/6 |
| x is infinity |
failure 47: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 51: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 71: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 75: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 95: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 99: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.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 55: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 59: Requirement failed: {llroundf.10.01.01;llroundf.05;llroundf.06;llroundf.07;llroundf.08;llroundf.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 79: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 83: Requirement failed: {llround.10.01.01;llround.05;llround.06;llround.07;llround.08;llround.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 103: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.09} Function executed successfully with EOK error code, while `model_error == true` means that EDOM SHALL be set
failure 107: Requirement failed: {llroundl.10.01.01;llroundl.05;llroundl.06;llroundl.07;llroundl.08;llroundl.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 |
|