--| 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 short-manifest-bit-array-arg test_description A class calls a a function which takes an argument of type `ARRAY [BIT 500]', passing as actual argument a manifest array of bit constants which are each only 1 bit long. After initial compilation where the system is frozen, the return type of the function is changed from `BIT 2000' to `BIT 2100' and changes are melted. System execution then ends with a "bit copy panic (void source)" run-time panic. copy_sub Ace $TEST Ace define RETURN_TYPE "BIT 2000" copy_sub test.e $CLUSTER test.e compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output1 10 execute_result ok compare exec_output1 output define RETURN_TYPE "BIT 2100" copy_sub test.e $CLUSTER test.e compile_melted compile_result ok execute_work NONE exec_output2 10 execute_result ok compare exec_output1 output test_end