Issue 4: Implementation
Project Member Reported by dfloresp...@gmail.com, Jun 19, 2010
Use assert to check pre-conditions, post-conditions, argument validity, return-value validity, and invariants.