--| 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 multi-constraint-inheritance
test_description This is testing multi constraint formals by simulating a typical program using multi constraints: It checks that the right features are called and uses creation constraints.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	a.e $CLUSTER a.e
copy_raw 	b.e $CLUSTER b.e
copy_raw 	c.e $CLUSTER c.e
copy_raw 	bc.e $CLUSTER bc.e
copy_raw 	x.e $CLUSTER x.e
copy_raw 	y.e $CLUSTER y.e
copy_raw 	xy.e $CLUSTER xy.e
copy_raw 	xy2.e $CLUSTER xy2.e

compile_melted
compile_result 	ok
execute_work NONE melted_output1
execute_result ok
compare melted_output1 output1

compile_frozen
compile_result 	ok
c_compile_work
c_compile_result ok
execute_work NONE frozen_output1
execute_result ok
compare frozen_output1 output1

compile_final
compile_result 	ok
c_compile_final
c_compile_result ok
execute_work NONE final_output1
execute_result ok
compare final_output1 output1


test_end