Searched refs:coverage_output_file (Results 1 – 1 of 1) sorted by relevance
102 let coverage_output_file = coverage_dir.join("coverage.dat"); in main() localVariable169 log!("Writing output to {}", coverage_output_file.display()); in main()171 coverage_output_file, in main()