Challenge for Correctness and the Loop Invariant
Challenge
What would be a correct loop invariant for the following code?
int k = 10;
for( int i=0; i < 10; i++)
k -= 1;
Please sign in or sign up to submit answers.
Alternatively, you can try out Learneroo before signing up.