Re: [gobo-eiffel-develop] XPath test does not pass with ISE

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

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

    Eric> When running with 'geant test_debug_ise' (ISE 5.7):
    Eric> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    Eric> Testing xpath...  Preparing Test Cases Compiling Test Cases
    Eric> Running Test Cases

    Eric> Test Summary for xpath

    Eric> # Passed: 272 tests # Failed: 0 test # ABORTED: 5 tests #
    Eric> Total: 277 tests (1831 assertions)

    Eric> Test Results: ABORT:
    Eric> [XM_XPATH_TEST_CAST_EXPRESSION.test_untyped_atomic_to_g_year_month]
    Eric> Eiffel exception ABORT:
    Eric> [XM_XPATH_TEST_CAST_EXPRESSION.test_untyped_atomic_to_g_year]
    Eric> Eiffel exception ABORT:
    Eric> [XM_XPATH_TEST_CAST_EXPRESSION.test_untyped_atomic_to_g_month]
    Eric> Eiffel exception ABORT:
    Eric> [XM_XPATH_TEST_CAST_EXPRESSION.test_untyped_atomic_to_g_month_day]
    Eric> Eiffel exception ABORT:
    Eric> [XM_XPATH_TEST_CAST_EXPRESSION.test_untyped_atomic_to_g_day]
    Eric> Eiffel exception

Fixed now (I removed the invariant clause as it was ill-conceived).
-- 
Colin Adams
Preston Lancashire