--| 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 	c-header-mismatch
test_description Freezing a particular system generates C code that has a different declarations for the same function, causing compilation to fail.

define INSTRUCTION ""
copy_sub 	Ace $TEST Ace
copy_raw	a.e $CLUSTER a.e
copy_sub	a2.e $CLUSTER a2.e
copy_raw	test.e $CLUSTER test.e

compile_final
compile_result 	ok

c_compile_final
c_compile_result ok

define INSTRUCTION "print (v)"
copy_sub	a2.e $CLUSTER a2.e

compile_final
compile_result 	ok

c_compile_final
c_compile_result ok


test_end