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