Question

Does testing the loop condition affect the loop invariant? Why?

Answer 1

No, the loop condition does not affect the loop invariant. Because the loop invariant is true at four points.

1. At the start of the loop.
2. At the start of each iteration.
3. At the end of each iteration.
4. At the end of the loop.