Update tc_verify.txt