test_name $TEST_NAME test_description Generated by Eiffel Studio testing tool. copy_sub Ecf $TEST Ace copy_raw $ROOT_CLASS_FILE_NAME $CLUSTER $ROOT_CLASS_FILE_NAME compile_melted compile_result ok c_compile_work ok execute_work NONE NONE execute_result ok test_end