This repository has been archived by the owner on Oct 4, 2021. It is now read-only.

Better coverage filtering#809

Merged

slluis merged 3 commits intomono:masterfrom iainx:better-coverage-filtering

Mar 17, 2015

+41-1

Commits on Mar 17, 2015

[Coverage] Improve the filtering of coverage reports
iain holmes
committed
[Profiler] Add the coverage result files to the gitignore
iain holmes
committed
[Coverage] Output the coverage results as XML
iain holmes
committed