PR# 17251 Assertion violated Tag: in {AUT_INTERPRETER_PROXY}.make in EiffelStudio.

Problem Report Summary
Submitter: prestoat2000
Category: EiffelStudio
Priority: Medium
Date: 2011/01/03
Class: Bug
Severity: Serious
Number: 17251
Release: 6.7.8.5123
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 6.7.8.5123 GPL Edition - solaris-x86
Synopsis: Assertion violated Tag: in {AUT_INTERPRETER_PROXY}.make in EiffelStudio.

Description

Project loaded: True
Project compiled: True
Is compiling: False
Last known class processed: TEST
Last status message: Application exited

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
AUT_INTERPRETER_PROXY
                    make @5                
<000000000E2FB6B0>                         Assertion violated.           Fail
-------------------------------------------------------------------------------
AUT_INTERPRETER_PROXY
                    make @5                
<000000000E2FB6B0>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AUT_INTERPRETER_GENERATOR
                    create_interpreter @4  
<000000000E2FAB40>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ETEST_GENERATION_TESTING
                    new_interpreter @2     
<000000000E2FAB04>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ETEST_GENERATION_TESTING
                    make_random @2         
<000000000E2FAB04>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_GENERATOR      initiate_testing_task @3
<000000000E2F7E34>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_GENERATOR      start_creation @3                                   
<000000000E2F7E34>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_GENERATOR      start @2                                            
<000000000E2F7E34>  (From ETEST_CREATION)  Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_SUITE          launch_session @6                                   
<000000001179B0DC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    inline-agent#1 of launch_session_type @6
<000000000DFD25EC>  (From SHARED_TEST_SERVICE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @4                                             
<000000000E2F7DC8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    perform_with_test_suite @4
<000000000DFD25EC>  (From SHARED_TEST_SERVICE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    launch_session_type @1 
<000000000DFD25EC>  (From SHARED_TEST_SERVICE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    on_generate_custom_test @7
<000000000DFD25EC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @21               
<000000000E2CEAD0>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @3                
<000000000E2CEAD0>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_ITEM_IMP    on_activate @8                                      
<000000000E2CE59C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_GTK_CALLBACK_MARSHAL
                    menu_item_activate_intermediary @3
<000000000E87799C>  (From EV_INTERMEDIARY_ROUTINES)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_GTK_CALLBACK_MARSHAL
                    marshal @6             
<000000000E87799C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_button_event @26
<000000000E8771EC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_underlying_toolkit_event_queue @72
<000000000E8771EC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @2                              
<000000000E8771EC>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @3                                           
<000000000E8771EC>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @2                                           
<000000000E8771EC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<000000000E8771D4>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<000000000E8771BC>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @4                                             
<000000000E7ABF9C>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<000000000E7ABF9C>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions
From:prestoat2000    Date:2011/01/03    Download   
This is reproducible.

To reproduce:

Delete ~/.es/67 directory.
Start estudio and compile with attached class and config file.
Click on Run button.
When execution stops due to assertion violation, show AutoTest tool.
Select Create New Test/Extract Tests from Debugger.
Confirm compilation with testing library.
Click Next, Next, then Launch.
(Note that status line still says Generating Metadata).
Select Create New Test/Generate tests for custom types.
Click Next, Next, then Launch.
Estudio crashes with previously submitted exception trace.

Attachment: test.e     Size:221
Attachment: test.ecf     Size:1145