CSC151 2007S, Class 26: Preconditions and Postconditions

Admin:
* I'm home with a sick child, so Ms. Davis will be running class today.  I'll be available via email intermittently today.
* Reading for Monday: Testing.
* Homework for Tuesday: Testing.

Overview:
* Verifying preconditions.
* Husk and Kernel programming.