Opened 16 years ago
Closed 16 years ago
#254 closed defect (fixed)
web page: bad example
| Reported by: | Stephen Siegel | Owned by: | dfix |
|---|---|---|---|
| Priority: | major | Milestone: | Release 1.0 |
| Component: | Publicity | Version: | 1.0 |
| Keywords: | web page example invariant | Cc: |
Description
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.
Change History (2)
comment:1 by , 16 years ago
| Status: | new → accepted |
|---|
comment:2 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Fixed by Dan. (Dan: remember to sign off the ticket once problem has been resolved.)
Note:
See TracTickets
for help on using tickets.
I've removed the link to that example for now.