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

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelTest
Priority: Medium
Date: 2011/07/26
Class: Bug
Severity: Serious
Number: 17756
Release: 7.0.8.6892
Confidential: No
Status: Analyzed
Responsible:
Environment: EiffelStudio 7.0.8.6892 GPL Edition - win64
Synopsis: Assertion violated Tag: in {AUT_INTERPRETER_PROXY}.make in EiffelStudio.

Description
After clicking on `Finish' when trying to launch autotest on my new DECIMAL_128 class.

I'll attach the ECF as it may be why it crash. Note that the testing library was not included and it had to include it and I'm now noticing that there is a VTCT error on EQA_TEST... (cannot read the class name yet).

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
AUT_INTERPRETER_PROXY
                    make @5                
<000000000240CDA8>                         Assertion violated.           Fail
-------------------------------------------------------------------------------
AUT_INTERPRETER_PROXY
                    make @5                
<000000000240CDA8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
AUT_INTERPRETER_GENERATOR
                    create_interpreter @9  
<000000000240BD78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ETEST_GENERATION_TESTING
                    new_interpreter @2     
<000000000240BD18>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ETEST_GENERATION_TESTING
                    make_random @2         
<000000000240BD18>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_GENERATOR      initiate_testing_task @4
<00000000023FD058>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_GENERATOR      start_creation @4                                   
<00000000023FD058>                         Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_GENERATOR      start @2                                            
<00000000023FD058>  (From ETEST_CREATION)  Routine failure.              Fail
-------------------------------------------------------------------------------
TEST_SUITE          launch_session @6                                   
<000000000312EDE8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    inline-agent#1 of launch_session_type @7
<0000000009912DA8>  (From SHARED_TEST_SERVICE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
PROCEDURE           call @4                                             
<00000000023FCFB8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    perform_with_test_suite @6
<0000000009912DA8>  (From SHARED_TEST_SERVICE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    launch_session_type @1 
<0000000009912DA8>  (From SHARED_TEST_SERVICE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
ES_TESTING_TOOL_PANEL
                    on_generate_test @34   
<0000000009912DA8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @27               
<00000000068635F8>  (From ACTION_SEQUENCE) Routine failure.              Fail
-------------------------------------------------------------------------------
EV_NOTIFY_ACTION_SEQUENCE
                    call @5                
<00000000068635F8>  (From EV_LITE_ACTION_SEQUENCE)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_ITEM_IMP    on_activate @2                                      
<00000000068634C8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_MENU_IMP         menu_item_clicked @4                                
<0000000006862BB8>  (From EV_MENU_ITEM_LIST_IMP)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POPUP_MENU_HANDLER
                    on_menu_command @1     
<00000000068646B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POPUP_MENU_HANDLER
                    on_wm_menu_command @1  
<00000000068646B8>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POPUP_MENU_HANDLER
                    on_wm_command @21      
<00000000068646B8>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_POPUP_MENU_HANDLER
                    process_message @8     
<00000000068646B8>  (From WEL_COMPOSITE_WINDOW)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
WEL_DISPATCHER      window_procedure @8                                 
<00000000030CA0A8>  (From WEL_ABSTRACT_DISPATCHER)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_message @17                                 
<00000000030598F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_underlying_toolkit_event_queue @9
<00000000030598F8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @2                              
<00000000030598F8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @5                                           
<00000000030598C8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<00000000030598A8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @6                                             
<0000000002F51588>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<0000000002F51588>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions
From:arnofiva    Date:2011/11/13    Status: Analyzed    Download   
Hey Manu

Not able to reproduce this one, what type of class was DECIMAL_128? Do you still have it locally?

Auto Test shouldn't allow testing expanded classes (which it seems to be) before launching, so I am not sure what happened.

Arno

From:manus_eiffel    Date:2011/07/26    Download   
It actually turns out that the failure might be caused by a class that I had in my universe that did not compile because it inherited from EQA_TEST_SET and the testing library is only included in the child ECF target `sample_normal' but that class is part of the parent ECF target `sample'.

From:manus_eiffel    Date:2011/07/26    Download   
The error was on EQA_TEST_SET and the ECF is attached and I was compiling target `sample_normal'.

Attachment: sample.ecf     Size:2511