id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
254	web page: bad example	Stephen Siegel	dfix	"On the web page is an example called Ordinary Loop Invariant.  However the example does not use an ordinary loop invariant and the description does not match the code.   I would just get rid of this from the web page until we come up with a real example...

In this example, the specification contains the closed form solution for summing the first n integers. The implementation accomplishes this using a loop.
"	defect	closed	major	Release 1.0	Publicity	1.0	fixed	web page example invariant