Add --exclude-source-from-xml-coverage support#1056
Add --exclude-source-from-xml-coverage support#1056Slamdunk merged 3 commits intoparatestphp:7.xfrom
--exclude-source-from-xml-coverage support#1056Conversation
|
Would it make sense to add it to |
tbh, I am not sure. there is another similar option which refines |
Don't take for granted that every option has been thoroughly scrutinized in the making of Give it a try |
I added it and it does not seem to make a difference from what I can tell. |
cc21865 to
f9480a4
Compare
|
don't know what todo with this PHPStan error, as I am not able to reproduce it locally |
|
@Slamdunk I think it should be good to go |
--exclude-source-from-xml-coverage support
tested it manually with
(since the test-suite seem not to have a test for coverage-xml).
and
note: the report generation is 50% faster
I verified manually that the generated report no longer contains a
<source>element, when invoked with--exclude-source-from-xml-coveragerefs sebastianbergmann/phpunit#6422