Oh, how I dreaded this thing. The countless past midterms that I wrote had me a little unsure of my capabilities, but it felt as though it wasn't so bad, at least, not as bad a I had expected. Preparing for tests like these are the worst, because it isnt as if there's a set of terms you solely have to memorize for recall, but its a matter of reconstruction, in such a short period of time. Studying for tests like these, and even the final, will most likely require intense amounts of practice, to the point that understanding the requirements of a given task will seem almost effortless. But those are my two cents concerning the test.
During the lecture, we covered partial correctness, which states that if an answer is returned, it will be correct. This does not infer that a loop will terminate, however. The main problem I feel as though I will encounter while writing proofs is that I will attempt to prove partial correctness as opposed to termination. Partial correctness only proves a value given termination, as opposed to satisfying the loop invariant itself. We'll see how that goes though.
