gobo-eiffel-develop

[gobo-eiffel-develop] Broken test

[Colin A. <col...@go...>]

As a result of some changes I checked in last night, one of the XPath
tests failed.

This is due to a postcondition in {MANAGED_POINTER}.put_real_64, which
is broken when the object is NaN.

Can we suppress postcondition-checking for this class in the XPath
library.xace file, or is that not supported?

Re: [gobo-eiffel-develop] Broken test

[Eric B. <er...@go...>]

Colin Adams wrote:
> As a result of some changes I checked in last night, one of the XPath
> tests failed.
> 
> This is due to a postcondition in {MANAGED_POINTER}.put_real_64, which
> is broken when the object is NaN.

Which version of ISE did you use? I tried with 6.1.7.1223 and I
didn't get the postcondition violation:

C:\gobo\test\xml\xpath>geant test_debug_ise

Testing xpath...
Preparing Test Cases
Compiling Test Cases
Running Test Cases

Test Summary for xpath

# PASSED:     275 tests
# Failed:     0 test
# Aborted:    0 test
# Total:      275 tests (1841 assertions)

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com

Re: [gobo-eiffel-develop] Broken test

[Eric B. <er...@go...>]

I managed to reproduce the problem with 5.7 indeed. I have
no idea why there is no postcondition violation when compiled
with 6.0 or 6.1. In fact, I discovered that in all ISE versions
(5.7, 6.x), comparing two NaNs returns False in frozen and
finalized mode, but True in melted mode. But I don't understand
how this bug could be related to the fact that our test does not
violate the postcondition when compiled with 6.x.

Anyway, instead of turning off some assertions, I implemented
a workaround in the relevant features of class KL_DOUBLE_ROUTINES.
The test should work fine now.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com



Colin Adams wrote:
> It is 5.7.
> 
> On 12/12/2007, Colin Adams <col...@go...> wrote:
>> It was probably 6.0 - I can check tonight.
>>
>> On 12/12/2007, Eric Bezault <er...@go...> wrote:
>>> Colin Adams wrote:
>>>> As a result of some changes I checked in last night, one of the XPath
>>>> tests failed.
>>>>
>>>> This is due to a postcondition in {MANAGED_POINTER}.put_real_64, which
>>>> is broken when the object is NaN.
>>> Which version of ISE did you use? I tried with 6.1.7.1223 and I
>>> didn't get the postcondition violation:
>>>
>>> C:\gobo\test\xml\xpath>geant test_debug_ise
>>>
>>> Testing xpath...
>>> Preparing Test Cases
>>> Compiling Test Cases
>>> Running Test Cases
>>>
>>> Test Summary for xpath
>>>
>>> # PASSED:     275 tests
>>> # Failed:     0 test
>>> # Aborted:    0 test
>>> # Total:      275 tests (1841 assertions)
>>>
>>> --
>>> Eric Bezault
>>> mailto:er...@go...
>>> http://www.gobosoft.com
>>>
> 
> 
> 


-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com

Re: [gobo-eiffel-develop] Broken test

[Colin A. <col...@go...>]

Perhaps the ACE -> ECF conversion is producing different
assertion-checking levels in 6.1 compared with 5.7.

On 12/12/2007, Eric Bezault <er...@go...> wrote:
> I managed to reproduce the problem with 5.7 indeed. I have
> no idea why there is no postcondition violation when compiled
> with 6.0 or 6.1. In fact, I discovered that in all ISE versions
> (5.7, 6.x), comparing two NaNs returns False in frozen and
> finalized mode, but True in melted mode. But I don't understand
> how this bug could be related to the fact that our test does not
> violate the postcondition when compiled with 6.x.

Re: [gobo-eiffel-develop] Broken test

[Eric B. <er...@go...>]

Colin Adams wrote:
> Perhaps the ACE -> ECF conversion is producing different
> assertion-checking levels in 6.1 compared with 5.7.

Ah, that's a good idea. You're probably right.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com