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