--| Copyright (c) 1993-2020 University of Southern California, Eiffel Software 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 	 test2
test_description Looking for bugs

copy_sub 	 Ace $TEST Ace
copy_raw	 test_rev1.e $CLUSTER test.e
compile_melted
compile_result 	ok

copy_raw	 test_rev1.e $CLUSTER test.e
compile_melted
compile_result 	ok

copy_raw	 test_rev3.e $CLUSTER test.e
compile_melted
compile_result 	ok

copy_raw	 test_rev5.e $CLUSTER test.e
compile_melted
compile_result 	validity_error TEST VEEN

copy_raw	 test_rev6.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VEEN(22)

copy_raw	 test_rev7.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VRLE(1)

copy_raw	 test_rev8.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VRLE(1)

copy_raw	 test_rev9.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VEEN

copy_raw	 test_rev10.e $CLUSTER test.e
resume_compile
compile_result 	ok

copy_raw	 test_rev11.e $CLUSTER test.e
compile_melted
compile_result 	validity_error TEST VWOE:18

copy_raw	 test_rev12.e $CLUSTER test.e
resume_compile
compile_result 	ok

copy_raw	 test_rev13.e $CLUSTER test.e
compile_melted
compile_result 	ok

copy_raw	 test_rev15.e $CLUSTER test.e
compile_melted
compile_result 	ok

copy_raw	 test_rev17.e $CLUSTER test.e
compile_melted
compile_result 	validity_error TEST VWBE

copy_raw	 test_rev18.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWBE

copy_raw	 test_rev19.e $CLUSTER test.e
resume_compile
compile_result 	ok

copy_raw	 test_rev20.e $CLUSTER test.e
compile_melted
compile_result 	ok

copy_raw	 test_rev21.e $CLUSTER test.e
compile_melted
compile_result 	syntax_error TEST 18

copy_raw	 test_rev22.e $CLUSTER test.e
resume_compile
compile_result 	ok

copy_raw	 test_rev23.e $CLUSTER test.e
compile_melted
compile_result 	syntax_error TEST 19

copy_raw	 test_rev24.e $CLUSTER test.e
resume_compile
compile_result 	ok

copy_raw	 test_rev25.e $CLUSTER test.e
compile_melted
compile_result 	syntax_error TEST 15

copy_raw	 test_rev26.e $CLUSTER test.e
resume_compile
compile_result 	ok

copy_raw	 test_rev27.e $CLUSTER test.e
compile_melted
compile_result 	validity_error TEST VXRC

copy_raw	 test_rev28.e $CLUSTER test.e
resume_compile
compile_result 	ok

copy_raw	 test_rev29.e $CLUSTER test.e
compile_melted
compile_result 	validity_error TEST VUAR(2)

copy_raw	 test_rev30.e $CLUSTER test.e
resume_compile
compile_result 	ok

compile_frozen
compile_result 	ok
c_compile_work
c_compile_result ok

execute_work NONE exec_output1
execute_result ok
compare exec_output1 output

test_end