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.