Skip to content

maint: permit the format specification in coverage

Emil Engler requested to merge emilengler/arti:coverage-format into main

Currently, generating a coverage report that is not HTML, is a somewhat tedious task, as it requires the caller to invoke the maint/with_coverage script, which is a rather cumbersome task to do.

This commit adds a -f option to the maint/coverage script, that allows the manual specification of a grcov output format.

Merge request reports