[eesmith]

I use the normal 'coverage' tool for the different environments then combine the results for total coverage. See https://coverage.readthedocs.io/en/coverage-5.0.3/cmd.html#c... .