--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

-- This is a test control file

test_name 	 melt-call-precomp-external
test_description A system which is compiled using precompiled EiffelBase and which declares an external routine identical to one that is already in the precompiled library compiles fine when melted.  But executing the system results in a segmentation fault.  Frozen code works correctly.

copy_sub 	 Ace $TEST Ace
copy_raw 	 test.e  $CLUSTER test.e
compile_melted
compile_result 	 ok

c_compile_work
c_compile_result ok

execute_work	 NONE exec_output1
execute_result	 ok
compare		 exec_output1 output

test_end