--| 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	vtug-override	
test_description A VTUG error that was produced because of an override is still reported after the override has been renamed.

define_directory OVERRIDE_CLUSTER $TEST override
copy_sub 	Ace $TEST Ace

define OVERNAME "LIST"
copy_sub	list.e $OVERRIDE_CLUSTER list.e
copy_sub 	test.e $CLUSTER test.e
compile_quick_melted
compile_result validity_error DYNAMIC_LIST VTUG(1) 

define OVERNAME "WEASEL_LIST"
copy_sub	list.e $OVERRIDE_CLUSTER list.e
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result ok 

test_end