earthman1

Results 1 issues of earthman1

When specifying a coverage filename using the `COVERAGE_FILE` environment variable, special characters are not handled correctly. I use that facility to set the name of the coverage file to match...