Re: [gobo-eiffel-develop] VE fails to compile XPointer tests

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> I got many errors, among which I found the precondition
    Eric> violation that you mentioned. I'll send you the full vec.xcp
    Eric> in a separate private message.

I see that the first error is an overflow in KL_DOUBLE_ROUTINES
(plus_infinity or minus_infinity), both of which overflow on purpose.

Neither has a test case in KL_TEST_DOUBLE_ROUTINES.
-- 
Colin Adams
Preston Lancashire