Do not report 100% if not all mutants were killed

Open Vampire opened this issue 6 years ago • 3 comments

Aug 26 '19 22:08 Vampire

@Vampire , is this PR to fix problem https://github.com/hcoles/pitest/issues/375

Nov 16 '21 05:11 romani

@hcoles, please share what is wrong with this PR ?

Nov 16 '21 05:11 romani

I don't know whether it will fix it, but I guess so. I only wanted to fix the html report I think. I don't fully remember as I fixed it 2 years ago.

Nov 16 '21 12:11 Vampire

I updated this PR to latest master, maybe you have time for it now. :-)

May 08 '23 03:05 Vampire