Is this a php-code-coverage issue or an issue with phpcov?

I suppose that it comes from phpcov. It is phpcov that comes out with the statistics. The PHP coverage file created by PHPUnit seems correct. The lines marked as red are indeed not tested.
For me, the issue comes from phpcov. How can I verify that?

phpcov is merely a CLI frontend for the php-code-coverage library. Do you get the same output if you only use PHPUnit and not phpcov?

It seems that it comes from phpcov. PHPUnit gives a better result:

Generated by php-code-coverage 7.0.3 using PHP 7.3.3 with Xdebug 2.7.0 and PHPUnit 8.0.6 at Wed Apr 3 16:46:24 CEST 2019.

But as I mentioned in issue #88 , the calculation method are different.

Thank you for your report.

Please provide a minimal, self-contained, reproducing test case that shows the problem you are reporting.

Without such a minimal, self-contained, reproducing test case I will not be able to investigate this issue.

I'm at the moment in holidays. I will try to submit a test case before end of May.

This issue has been automatically marked as stale because it has not had activity within the last 60 days. It will be closed after 7 days if no further activity occurs. Thank you for your contributions.

I'm sorry i didn't propose a test case yet. I will propose one this month. I should have more spare time to do that.

No feedback, closing.