-- This is a test control file

test_name expanded-formal-multiconstraint
test_description This test checks the proper handling of an expanded type in a multi constraint list.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	multi.e $CLUSTER multi.e

compile_melted
compile_result validity_warning MULTI VJRV(1)
execute_work NONE actual_output1
execute_result ok
compare actual_output1 output1

compile_frozen
compile_result ok
execute_work NONE actual_output2
c_compile_work
c_compile_result ok
execute_result ok
compare actual_output2 output1

compile_final
compile_result ok
c_compile_final
c_compile_result ok
execute_final NONE actual_output3
execute_result ok
compare actual_output3 output1



test_end