test_name consumable-attribute-usage-in-eiffel
test_description Validates the consumer respects the declaration of EIFFEL_CONSUMABLE_ATTRIBUTE on assembly and types.

copy_sub Ace_library $TEST Ace
copy_raw library\a.e $CLUSTER\library a.e
copy_raw library\b.e $CLUSTER\library b.e
copy_raw library\c.e $CLUSTER\library c.e

compile_final
compile_result	ok

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

compile_melted
compile_result	validity_error TEST VTCT

copy_raw test_2.e $CLUSTER test.e

resume_compile
compile_result	validity_error TEST VEEN

copy_raw test_3.e $CLUSTER test.e

resume_compile
compile_result	ok

execute_work 	NONE 	exec_output
execute_result 	ok
compare		exec_output output

test_end