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 23: 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 25: 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 26: 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 27: 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 29: 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 30: 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 31: 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 33: 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 34: 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 24: 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 28: 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 32: 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 |
|