scenario math_exp_scenario
| execution |
trace: /var/opt/lsb/test/olver-core/2014-01-29_05-08-38/math_exp_scenario.utz (math_exp_scenario.utt)
start: Wed Jan 29 05:15:17 EST 2014
end: Wed Jan 29 05:15:22 EST 2014
Product Name: CTESK
Product Build: 20090917
Host: localhost.localdomain
arch: ia32
Product Version: 2.7.287
Operating System: Linux 3.6.10-4.fc18.i686.PAE
|
| failures | fails |
|---|
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 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 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 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 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 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
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
|
12 |
|