3 ms·

Ah, nice. So it's more like a "semantic coverage" tool, i.e. finding the code paths that don't have any effect on the output.