It wasn't a bug
Tilman
Am 19.07.2020 um 21:10 schrieb Tilman Hausherr:
I've created an issue in Jacoco:
https://github.com/jacoco/jacoco/issues/1074
If this is a bug, then maybe our test coverage will get higher after
that bug is fixed :-)
Tilman
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
