Update test_coverage.txt