scenario math_exp_scenario
| execution |
trace: /var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_exp_scenario.utz (math_exp_scenario.utt)
start: Mon Jan 21 10:27:47 EST 2013
end: Mon Jan 21 10:27:53 EST 2013
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 23: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
failure 24: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
failure 25: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
failure 26: Requirement failed: {hypotl.08} both arguments are subnormal and the correct result is subnormal
failure 27: 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 28: 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 29: 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 30: 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 31: 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 32: 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 33: 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 34: 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 35: 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 36: 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 37: 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 38: 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
|
16 |
|