I can't talk about this specific tool because I never used it and they are a bit short on the details. But if they ensure code coverage then you know at least t

I can't talk about this specific tool because I never used it and they are a bit short on the details. But if they ensure code coverage then you know at least that every line of code has been run at least once. Tools may also inspect every "if" and "while" and look for typical boundary conditions (when applicable) such as underflow, overflow, off-by-one, None, etc. Those two checks alone can take you far, specially when compared to the alternative "I tried it once and it worked".