Correctness and the Loop Invariant

  • + 1 comment

    Java code produces an extra main() at the bottom outside of the class declaration. As such, it produces an error at compile. Not a big deal and certainly easy to fix, just putting it out there.