-- This is a test control file

test_name expanded-formal-multiconstraint2
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
copy_raw 	ancestor_1.e $CLUSTER ancestor_1.e
copy_raw 	ancestor_2.e $CLUSTER ancestor_2.e
copy_raw 	expanded_class.e $CLUSTER expanded_class.e

compile_melted
compile_result ok
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