Opened 17 years ago
Last modified 17 years ago
#52 closed defect
matrixMultiplication — at Initial Version
| Reported by: | zirkel | Owned by: | ywei, zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | examples | Version: | 1.0 |
| Keywords: | examples, matrixMultiplication | Cc: |
Description
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
Full output in normal and verbose modes is attached.
Note:
See TracTickets
for help on using tickets.
