Challenge for Correctness and the Loop Invariant


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.

Contact Us
Sign in or email us at [email protected]