Home
last modified time | relevance | path

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

/petsc/config/PETSc/
H A DConfigure.py926 …def configureCoverageForLang(self, log_printer_cls, lang, extra_coverage_flags=None, extra_debug_f… argument
962 if not is_gnuish and extra_coverage_flags is None:
966 coverage_flags = make_flag_list('--coverage', extra_coverage_flags)