test_name array2-wipe-out test_description ARRAY.wipe_out should preserve the ARRAY2 invariant. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result ok execute_work NONE exec_output execute_result ok compare exec_output output test_end