test_name self-init-attribute-non-void-safe test_description The initializer for a self-initializing attribute is not called when system is compiled in non-void safe mode copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result validity_warning TEST VWAB execute_work NONE exec_output1 execute_result failed compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output2 execute_result failed test_end