--| 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 	 add-del-static-ext-assertion
test_description A system has a static call to a frozen external procedure.  After initial compilation where the system is frozen, system execution works correctly.  Then a postcondition is added to the external procedure.  After the compiler correctly detects the VSTA(2) error, the postcondition is removed and compilation finishes.  But system execution then evaluates the removed postcondition.

define ASSERTION ""
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_sub 	test1.e $CLUSTER test1.e
compile_frozen
compile_result 	ok

c_compile_work
c_compile_result ok

execute_work	 NONE exec_output1
execute_result	 ok
compare		 exec_output1 output

define ASSERTION "post: show ("post", True)"
copy_sub 	test1.e $CLUSTER test1.e
compile_frozen
compile_result 	validity_error TEST VUNO:13

define ASSERTION ""
copy_sub 	test1.e $CLUSTER test1.e
resume_compile
compile_result 	ok

c_compile_work
c_compile_result ok

execute_work	 NONE exec_output2
execute_result	 ok
compare		 exec_output2 output

test_end