--| 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 cloned-int-passed-to-double test_description A routine passes `clone (k)' where `k' is of type INTEGER to a routine whose formal argument is of type DOUBLE. If the system is melted, system execution ends with an "Illegal cast operation" run-time panic. Frozen code instead produces incorrect output. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result ok execute_work NONE exec_output1 execute_result ok compare exec_output1 output compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output2 execute_result ok compare exec_output2 output test_end