test_name 	attached-to-none
test_description Incorrect C code is generated for an object test `attached {NONE} (True)', causing a panic when system is executed.

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

compile_frozen
compile_result 	ok

c_compile_work
c_compile_result ok

execute_work 	NONE 	exec_output2
execute_result 	ok
compare		exec_output2 output

test_end