test_name memory_leak_with_invariant_on test_description Reveals a memory leak of runtime when invariant checking is on. copy_sub Ace $TEST Ace copy_raw application.e $CLUSTER application.e copy_raw thread_foo.e $CLUSTER thread_foo.e compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_output1 100 execute_result ok compare exec_output1 output test_end