test_name linked-set-wrong-postcondition
test_description Wrong inherited postconditions in LINKED_SET.

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

compile_melted
compile_result ok

execute_work NONE exec_output1
execute_result ok

compare exec_output1 output

test_end