Which of the following is a loop invariant at the point at which the test for termination is performed in the following loop structure? A) X 5 B) X

Question

Which of the following is a loop invariant at the point at which the test for termination is performed in the following loop structure? 
A) X > 5 
B) X < 5 
C) X $\ge$ 5 
D) X $\le$ 5

Quizplus · Accepted Answer

A loop invariant is a condition that always holds true throughout the execution of the loop. To determine the loop invariant at the point of termination, we can look at the condition that causes the loop to terminate. In this case, the loop will terminate when X is greater than or equal to 5. Therefore, the loop invariant must be X is less than or equal to 5, which is equivalent to choice D.

Which of the Following Is a Loop Invariant at the Point