log1p_spec() coverage
specification Unifloat *log1p_spec( CallContext context, Unifloat *x, Unifloat *standart, IntT rounding, IntT *dist, ErrorCode *errno )
| coverages |
branches |
failures |
hits/fails |
| C |
x is NaN |
|
6 |
| x is Zero |
|
12 |
| x less than neg One |
failure 5: Requirement failed: {log1pl.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 7: Requirement failed: {log1pl.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 8: Requirement failed: {log1pl.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 9: Requirement failed: {log1p.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 11: Requirement failed: {log1p.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 12: Requirement failed: {log1p.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 13: Requirement failed: {log1pf.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 15: Requirement failed: {log1pf.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
failure 16: Requirement failed: {log1pf.10.01.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == -1 == true` means that EDOM SHALL be set
|
9/9 |
| x is positive Infinity |
|
3 |
| x is neg One |
failure 6: Requirement failed: {log1pl.10.02.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == 0 == true` means that ERANGE SHALL be set
failure 10: Requirement failed: {log1p.10.02.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == 0 == true` means that ERANGE SHALL be set
failure 14: Requirement failed: {log1pf.10.02.01} Function executed successfully with EOK error code, while `compare_Unifloat(x, changeSign_Unifloat(createOne_Unifloat(x->type), -1)) == 0 == true` means that ERANGE SHALL be set
|
3/3 |
| x is Normal |
|
33 |
| 100% (6/6) |
|
66/12 |
|