--| 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 	 cluster-modified-viol
test_description After a validity violation on the root class, the name of the root class is changed so that it is the same as the name of another class in the cluster and compilation is resumed

copy_sub 	 Ace $TEST Ace

define		 CLASS_NAME TEST
copy_sub 	 test.e  $CLUSTER test.e
copy_raw 	 test4.e  $CLUSTER test4.e
compile_melted
compile_result 	 validity_error TEST VEEN

define		 CLASS_NAME TEST4
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error NONE VD71 

test_end