gobo-eiffel-develop

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

[Eric B. <er...@go...>]

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!

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com

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!
>