Correctness and the Loop Invariant

  • + 2 comments

    This seemed like more of a "find the bug" challenge to me...