PR# 15555 Precondition violation while debugging a test case
Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2009/03/25
Class: Bug
Severity: Serious
Number: 15555
Release: 6.4.7.7848
Confidential: No
Status: Analyzed
Responsible: jfiat_es
Environment: Mozilla/5.0 (Windows; U; Windows NT 5.2; en-US; rv:1.9.0.7) Gecko/2009021910 Firefox/3.0.7 (.NET CLR 3.5.30729)
Synopsis: Precondition violation while debugging a test case
Description
I started to debug a test in the Eiffel Testing Framework but got the following precondition violation.
exception_occurred: Precondition violated. (PRECONDITION_VIOLATION)
******************************** Thread exception *****************************
In thread Root thread 0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object Routine Nature of exception Effect
-------------------------------------------------------------------------------
STOPPED_HDLR execution_stopped_on_exception_event @1
exception_occurred:
<00000000030203B8> Precondition violated. Fail
-------------------------------------------------------------------------------
STOPPED_HDLR process_paused_state @11
<00000000030203B8> Routine failure. Fail
-------------------------------------------------------------------------------
STOPPED_HDLR execute @52
<00000000030203B8> Routine failure. Fail
-------------------------------------------------------------------------------
IPC_ENGINE execute @3
<0000000002FFC8A8> (From ISED_X_SLAVE) Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE fast_call
<0000000003020248> Routine failure. Fail
-------------------------------------------------------------------------------
PROCEDURE call @5
<0000000003020248> Routine failure. Fail
-------------------------------------------------------------------------------
EB_IO_WATCHER_IMP call_back @3
<00000000030202A8> Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG cwin_dispatch_message
<0000000006B144D8> Routine failure. Fail
-------------------------------------------------------------------------------
WEL_MSG dispatch @1
<0000000006B144D8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_message @11
<0000000006B137C8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_underlying_toolkit_event_queue @7
<0000000006B137C8> Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP process_event_queue @2
<0000000006B137C8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP launch @3
<0000000006B137C8> (From EV_APPLICATION_I)
Routine failure. Fail
-------------------------------------------------------------------------------
EV_APPLICATION launch @4
<0000000006B13798> Routine failure. Fail
-------------------------------------------------------------------------------
ES_GRAPHIC make @4
<0000000006B13728> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL make @5
<0000000006B136C8> Routine failure. Fail
-------------------------------------------------------------------------------
EB_KERNEL root's creation
<0000000006B136C8> Routine failure. Exit
-------------------------------------------------------------------------------
Call stack:
ObjectClassRoutine
------------------
[0x6710A40] STOPPED_HDLR execution_stopped_on_exception_event ( @ 1 )
[0x6710A40] STOPPED_HDLR process_paused_state ( @ 11 )
[0x6710A40] STOPPED_HDLR execute ( @ 52 )
[0x6710A28] IPC_ENGINE execute (From ISED_X_SLAVE) ( @ 3 )
[0x6710988] PROCEDURE fast_call ( @ 0 )
[0x6710988] PROCEDURE call ( @ 5 )
[0x6710978] EB_IO_WATCHER_IMP call_back ( @ 3 )
[0x6710960] WEL_MSG cwin_dispatch_message ( @ 0 )
[0x6710960] WEL_MSG dispatch ( @ 1 )
[0x6710990] EV_APPLICATION_IMP process_message ( @ 11 )
[0x6710990] EV_APPLICATION_IMP process_underlying_toolkit_event_queue ( @ 7 )
[0x6710990] EV_APPLICATION_IMP process_event_queue (From EV_APPLICATION_I) <R> ( @ 2 )
[0x6710990] EV_APPLICATION_IMP launch (From EV_APPLICATION_I) ( @ 3 )
[0x6710968] EV_APPLICATION launch <R> ( @ 4 )
[0x6710A30] ES_GRAPHIC make ( @ 4 )
[0x67109D8] EB_KERNEL make ( @ 5 )
To Reproduce
Problem Report Interactions
I believe that to reproduce this problem, you need to put a breakpoint. Mine was in EQA_EVALUATOR_ROOT.initialize_stream.