The line number is reported by the detector, not by MUBench. While it could be a bug in the detector interface (mubench.cli), I’m guessing at a problem in your detector, since it’s working for all other detectors and you didn’t provide any details that suggest otherwise.
The line number is reported by the detector, not by MUBench. While it could be a bug in the detector interface (mubench.cli), I’m guessing at a problem in your detector, since it’s working for all other detectors and you didn’t provide any details that suggest otherwise.