[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