phpunit-coverage-tools
phpunit-coverage-tools copied to clipboard
More precise return type of `Exitter::exit()`
@jdreesen Currently the test suite fails on this because of https://github.com/sebastianbergmann/phpunit/issues/5048 So until that one lands I won't be able to merge I think. Suggestions?
Oh, I see. I wasn't aware of this limitation. Then I guess we'll have to wait...
Phpunit maintainer won't "fix" this... not much we can do