repair_coverage_file