test_name multi-constraint-infix-renamed
test_description Tests whether the renaming of infix features works for constraint types of a multi constrained formal generic.
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	multi.e $CLUSTER multi.e


compile_melted
compile_result 	ok

execute_work	NONE exec_output_melted
execute_result	ok
compare		exec_output_melted output

test_end