A loop invariant is expected to be true $...($select one or more$)$

Question $1$Answer

at any point during an algorithm execution

at the end of an iteration

at the beginning of an iteration

at any point during an iteration

before the program terminates with a correct result