Home
last modified time | relevance | path

Searched refs:report_name (Results 1 – 1 of 1) sorted by relevance

/petsc/lib/petsc/bin/maint/
H A Dgcov.py400 def generate_html(runner, merged_report, dest_dir, symlink_dir=None, report_name=None, html_title=N… argument
406 if report_name is None:
407 report_name = 'report.html'
408 elif not report_name.endswith('.html'):
409 report_name += '.html'
416 report_path = dest_dir/report_name
596 symlink_dir=gcovr_dir, report_name='report_untested.html',