--| 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-renamed-creation-feature
test_description This test checks that creation constraint checks are made properly even if tricky renamings are present. It tests whether the compiler takes the right name for its check or not.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	multi.e $CLUSTER multi.e
copy_raw 	multi2_a.e $CLUSTER multi2.e
compile_melted
compile_result validity_error TEST VTCG

copy_raw 	multi2_b.e $CLUSTER multi2.e
resume_compile
compile_result ok

test_end