--| 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 	invariant-veen-skip-invariant
test_description After initial compilation where the system is melted, an entity name in a class invariant is changed to the name of a nonexistent entity. When the compiler reports the VEEN error, the entity name is changed back to its original value and compilation completes.  But execution of the resulting system, which was compiled with `assertion (all)', does not monitor class invariants.

copy_sub 	Ace $TEST Ace
define		ENTITY "a"
copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok

execute_work 	NONE exec_output1
execute_result 	ok
compare		exec_output1 output

define		ENTITY "wwwww"
copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	validity_error TEST VEEN

define		ENTITY "a"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	ok

execute_work 	NONE exec_output2
execute_result 	ok
compare		exec_output2 output

test_end