| Current Forum: 15-211 Main Forum |
| Date: Mon Sep 24 2001 1:49 pm |
| Author: Lee, Peter <petel@cmu.edu> |
| Subject: Re: loop invariant(LI) |
|
|
I think this is a valid point. While the actual definition of a loop invariant is that it is a predicate that is true upon entry, upon each iteration, and upon exit, the lecture notes do indeed emphasize that the true usefulness of a loop invariant is in its ability to help prove the postcondition.
We'll figure out a way to make adjustments some time later this week. Thanks for pointing this out!
|
|