test_name 	 plus-with-mixed-types
test_description Using `{INTEGER_REF} + {INTEGER}' is a valid expression but the postcondition of the `+' operator is not satisfied due to the different types.

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

compile_melted
compile_result	ok

execute_work	NONE exec_output_m
execute_result	ok
compare		exec_output_m output

test_end