test_name capture-replay-threads test_description Capture/replay should be able to replay a concurrent execution using mutexes and condition variables copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_frozen compile_result ok c_compile_work c_compile_result ok execute_work NONE exec_capture_output -eif_capture execute_result ok compare exec_capture_output output execute_work NONE exec_replay_output -eif_replay execute_result ok compare exec_replay_output output test_end