You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the context of PicnicSupermarket/error-prone-support#1283 I noticed that JaCoCo flagged that this if-statement wasn't covered by tests. Despite that, Pitest reported that all mutants were killed. Afterwards I added another commit to introduce proper coverage.
Sorry for reporting this without a minimal reproduction case; if desired I can find some time for that later. For now just a hunch: could it be that Pitest skips this case due to the instanceof pattern matching?
The text was updated successfully, but these errors were encountered:
Alright, running a full Pitest analysis does cause an unkilled mutant to be reported. So there's no issue here: Pitest's PR analysis mode was smart enough to see that this branch was unchanged, even though other code in that same method was modified. Sorry for reporting a non-bug!
In the context of PicnicSupermarket/error-prone-support#1283 I noticed that JaCoCo flagged that this
if
-statement wasn't covered by tests. Despite that, Pitest reported that all mutants were killed. Afterwards I added another commit to introduce proper coverage.Sorry for reporting this without a minimal reproduction case; if desired I can find some time for that later. For now just a hunch: could it be that Pitest skips this case due to the
instanceof
pattern matching?The text was updated successfully, but these errors were encountered: