Bug in DS_LEFT_LEANING_RED_BLACK_TREE
|
|
Eric Bezault
|
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:[hidden email] http://www.gobosoft.com ------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july _______________________________________________ gobo-eiffel-develop mailing list [hidden email] https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop |
||||||||||||||||
Daniel Tuser-2
|
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! > ------------------------------------------------------------------------------ Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day trial. Simplify your report design, integration and deployment - and focus on what you do best, core application coding. Discover what's new with Crystal Reports now. http://p.sf.net/sfu/bobj-july _______________________________________________ gobo-eiffel-develop mailing list [hidden email] https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop |
||||||||||||||||
| Free Embeddable Forum Powered by Nabble | Help |
