Lines Matching refs:coverage_file
82 options.coverage_file and options.sources_file):
85 coverage_file = os.path.join(os.path.dirname(options.output_path),
86 options.coverage_file)
89 if os.path.exists(coverage_file):
90 os.remove(coverage_file)
147 options.coverage_file and options.sources_file and options.sources and
151 coverage_file = os.path.join(os.path.dirname(options.output_path),
152 options.coverage_file)
155 if os.path.exists(coverage_file):
156 os.remove(coverage_file)
164 '-out', coverage_file,
