Re: [gobo-eiffel-develop] Bug in DS_LEFT_LEANING_RED_BLACK_TREE_SET.walk_left

[Daniel T. <dan...@gm...>]

Hi Eric
I will correct that as soon as possible.

Eric Bezault wrote:
> Hi Daniel,
>
> When I run the test cases with all assertions enabled, I get this
> loop invariant violation.
>
>
>
> C:\gobo\test\structure>geant test_debug_ise
>
> Testing xstructure...
> Preparing Test Cases
> Compiling Test Cases
> Running Test Cases
>
> Test Summary for xstructure
>
> # Passed:     199 tests
> # Failed:     0 test
> # ABORTED:    1 test
> # Total:      200 tests (1674 assertions)
>
> Test Results:
> ABORT:  [DS_TEST_LEFT_LEANING_RED_BLACK_TREE_SET.test_set_operations] 
> Eiffel exeption
> ------------------------------------------------------------------------------- 
>
> Class / Object      Routine                Nature of exception  Effect
> ------------------------------------------------------------------------------- 
>
> DS_LEFT_LEANING_RED_BLACK_TREE_SET
>                     walk_left @6           result_is_node_2:
> <0000000002236D5C>  (From DS_LEFT_LEANING_RED_BLACK_TREE_CONTAINER)
>                                            Loop invariant violated.   
> Fail
> ------------------------------------------------------------------------------- 
>
> DS_LEFT_LEANING_RED_BLACK_TREE_SET
>                     walk_left @6
> <0000000002236D5C>  (From DS_LEFT_LEANING_RED_BLACK_TREE_CONTAINER)
>                                            Routine failure.   Fail
> ------------------------------------------------------------------------------- 
>
> DS_LEFT_LEANING_RED_BLACK_TREE_SET
>                     successor_for_removal @4
> <0000000002236D5C>  (From DS_LEFT_LEANING_RED_BLACK_TREE_CONTAINER)
>                                            Routine failure.   Fail
> ------------------------------------------------------------------------------- 
>
> DS_LEFT_LEANING_RED_BLACK_TREE_SET
>                     remove_node @11
> <0000000002236D5C>  (From DS_BINARY_SEARCH_TREE_CONTAINER)
>                                            Routine failure.   Fail
> ------------------------------------------------------------------------------- 
>
> DS_LEFT_LEANING_RED_BLACK_TREE_SET
>                     subtract @13
> <0000000002236D5C>  (From DS_BINARY_SEARCH_TREE_SET)
>                                            Routine failure.   Fail
> ------------------------------------------------------------------------------- 
>
> DS_LEFT_LEANING_RED_BLACK_TREE_SET
>                     subtraction @4
> <0000000002236B28>  (From DS_SET)          Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> DS_TEST_LEFT_LEANING_RED_BLACK_TREE_SET
>                     test_set_operations @12
> <00000000021DAA70>                         Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> PROCEDURE           fast_call
> <00000000021DAAD0>                         Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> PROCEDURE           call @5
> <00000000021DAAD0>                         Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> DS_TEST_LEFT_LEANING_RED_BLACK_TREE_SET
>                     execute_without_rescue @4
> <00000000021DAA70>  (From TS_TEST_CASE)    Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> DS_TEST_LEFT_LEANING_RED_BLACK_TREE_SET
>                     execute_with_rescue @3
> <00000000021DAA70>  (From TS_TEST_CASE)    Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> DS_TEST_LEFT_LEANING_RED_BLACK_TREE_SET
>                     execute @9
> <00000000021DAA70>  (From TS_TEST_CASE)    Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> TS_TEST_SUITE       execute @5
> <00000000021D1698>                         Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> XSTRUCTURE          execute_with_summary @7
> <00000000021D03FC>  (From TS_TESTER)       Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> XSTRUCTURE          execute_with_output @10
> <00000000021D03FC>  (From TS_TESTER)       Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> XSTRUCTURE          execute @9
> <00000000021D03FC>  (From TS_TESTER)       Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> XSTRUCTURE          make @5
> <00000000021D03FC>  (From TS_TESTER)       Routine failure.  Fail
> ------------------------------------------------------------------------------- 
>
> XSTRUCTURE          root's creation
> <00000000021D03FC>                         Routine failure.  Exit
> ------------------------------------------------------------------------------- 
>
>
>
> BUILD FAILED!
>