Opened 17 years ago
Closed 17 years ago
#20 closed defect (fixed)
illegal reading of output variable
| Reported by: | Stephen Siegel | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | examples | Version: | 1.0 |
| Keywords: | output arrayloop | Cc: |
Description
In arrayloopImpl (maybe spec too?), the output variable C is read in function main. This is illegal. Output variables can only be written to (and input variables can only be read.) Please fix here and make sure this rule is followed in other examples. The verifier should complain if you try to do that.
Change History (2)
comment:1 by , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
This has been corrected. Also, arrayloop is now called matrixMultiplication.