Correctness and the Loop Invariant

  • + 0 comments

    in java code add = to sign in while loop

    while(j >= 0 && A[j] > value){