3 ms·
I agree with the other commenter that his is not even remotely true... given something like loop { if (A) { ... } if (B) { ... } } 100% branch coverage me
by ratmice 2y ago
I agree with the other commenter that his is not even remotely true... given something like
loop {
if (A) { ... }
if (B) { ... }
}
100% branch coverage means you've encountered both cases, but the loop could have encountered these in any number of ways specifically this branch could be encountered as either A && B both A && !B && B && !A, all of them exhaustively, and could even depend upon whether the order branches were taken matters.
While formal methods give an exhaustive proof.