Opened 17 years ago
Last modified 17 years ago
#52 closed defect
matrixMultiplication compare returns false — at Version 1
| Reported by: | zirkel | Owned by: | ywei, zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | examples | Version: | 1.0 |
| Keywords: | examples, matrixMultiplication | Cc: |
Description (last modified by )
Compare on the matrixMultiplication returns false. The problems are:
Possible violation detected with specification at State 95
Possible incorrect final value for implementation output variable C at State 239
The complete output is too long to put here, and the text files are too big to attach.
Change History (1)
comment:1 by , 17 years ago
| Description: | modified (diff) |
|---|---|
| Summary: | matrixMultiplication → matrixMultiplication compare returns false |
Note:
See TracTickets
for help on using tickets.
