From: Eric B. <er...@be...> - 2018-10-09 19:56:23
|
Hi Berend, After your modifications in class UT_URI, the following tests are now failing when compiled with all assertions on. Can you please fix them? Test Results: ABORT: [UT_TEST_URI_PARSER.test_parsing] Eiffel exception ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- UT_URI stop_query_name @6 scan_value: <00000153D3327A98> Postcondition violated. Fail ------------------------------------------------------------------------------- UT_URI stop_query_name @6 <00000153D3327A98> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI parse_reference @41 <00000153D3327A98> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI make @6 <00000153D3327A98> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER test_parsing @6 <00000153D33254D8> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE fast_call <00000153D3325558> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE call @3 <00000153D3325558> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute_without_rescue @4 <00000153D33254D8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute_with_rescue @3 <00000153D33254D8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute @10 <00000153D33254D8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- TS_TEST_SUITE execute @5 <00000153D33255B8> Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_summary @44 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_output @10 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute @9 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI make @5 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI root's creation <00000153D3323588> Routine failure. Exit ------------------------------------------------------------------------------- ABORT: [UT_TEST_URI_PARSER.test_query] Eiffel exception ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- UT_URI stop_query_value @11 stop_query_part_scan: <00000153D3328768> Postcondition violated. Fail ------------------------------------------------------------------------------- UT_URI stop_query_value @11 <00000153D3328768> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI stop_query @5 <00000153D3328768> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI parse_reference @67 <00000153D3328768> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI make @6 <00000153D3328768> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER test_query @1 <00000153D33257A8> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE fast_call <00000153D3325828> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE call @3 <00000153D3325828> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute_without_rescue @4 <00000153D33257A8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute_with_rescue @3 <00000153D33257A8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute @10 <00000153D33257A8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- TS_TEST_SUITE execute @5 <00000153D33255B8> Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_summary @44 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_output @10 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute @9 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI make @5 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI root's creation <00000153D3323588> Routine failure. Exit ------------------------------------------------------------------------------- ABORT: [UT_TEST_URI_PARSER.test_rootless_path] Eiffel exception ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- UT_URI stop_query_value @11 stop_query_part_scan: <00000153D332DAC8> Postcondition violated. Fail ------------------------------------------------------------------------------- UT_URI stop_query_value @11 <00000153D332DAC8> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI stop_query @5 <00000153D332DAC8> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI parse_reference @67 <00000153D332DAC8> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI make @6 <00000153D332DAC8> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER test_rootless_path @3 <00000153D3325C28> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE fast_call <00000153D3325CA8> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE call @3 <00000153D3325CA8> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute_without_rescue @4 <00000153D3325C28> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute_with_rescue @3 <00000153D3325C28> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_PARSER execute @10 <00000153D3325C28> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- TS_TEST_SUITE execute @5 <00000153D33255B8> Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_summary @44 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_output @10 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute @9 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI make @5 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI root's creation <00000153D3323588> Routine failure. Exit ------------------------------------------------------------------------------- ABORT: [UT_TEST_URI_RESOLVE.test_normal_cases] Eiffel exception ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- UT_URI stop_query_value @11 stop_query_part_scan: <00000153D332E578> Postcondition violated. Fail ------------------------------------------------------------------------------- UT_URI stop_query_value @11 <00000153D332E578> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI stop_query @5 <00000153D332E578> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI parse_reference @67 <00000153D332E578> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI make @6 <00000153D332E578> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE test_normal_cases @1 <00000153D3325DA8> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE fast_call <00000153D3325E28> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE call @3 <00000153D3325E28> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE execute_without_rescue @4 <00000153D3325DA8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE execute_with_rescue @3 <00000153D3325DA8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE execute @10 <00000153D3325DA8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- TS_TEST_SUITE execute @5 <00000153D33255B8> Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_summary @44 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_output @10 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute @9 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI make @5 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI root's creation <00000153D3323588> Routine failure. Exit ------------------------------------------------------------------------------- ABORT: [UT_TEST_URI_RESOLVE.test_abnormal_cases] Eiffel exception ------------------------------------------------------------------------------- Class / Object Routine Nature of exception Effect ------------------------------------------------------------------------------- UT_URI stop_query_value @11 stop_query_part_scan: <00000153D33306F8> Postcondition violated. Fail ------------------------------------------------------------------------------- UT_URI stop_query_value @11 <00000153D33306F8> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI stop_query @5 <00000153D33306F8> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI parse_reference @67 <00000153D33306F8> Routine failure. Fail ------------------------------------------------------------------------------- UT_URI make @6 <00000153D33306F8> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE test_abnormal_cases @1 <00000153D33260A8> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE fast_call <00000153D3326128> Routine failure. Fail ------------------------------------------------------------------------------- PROCEDURE call @3 <00000153D3326128> Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE execute_without_rescue @4 <00000153D33260A8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE execute_with_rescue @3 <00000153D33260A8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- UT_TEST_URI_RESOLVE execute @10 <00000153D33260A8> (From TS_TEST_CASE) Routine failure. Fail ------------------------------------------------------------------------------- TS_TEST_SUITE execute @5 <00000153D33255B8> Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_summary @44 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute_with_output @10 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI execute @9 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI make @5 <00000153D3323588> (From TS_TESTER) Routine failure. Fail ------------------------------------------------------------------------------- XURI root's creation <00000153D3323588> Routine failure. Exit ------------------------------------------------------------------------------- -- Eric Bezault mailto:er...@go... http://www.gobosoft.com |