Changes between Initial Version and Version 1 of Ticket #52


Ignore:
Timestamp:
08/27/09 00:10:45 (17 years ago)
Author:
zirkel
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #52

    • Property Summary matrixMultiplication → matrixMultiplication compare returns false

  • Ticket #52 – Description

    initial v1  
    44Possible incorrect final value for implementation output variable C at State 239
    55
    6 Full output in normal and verbose modes is attached.
     6The complete output is too long to put here, and the text files are too big to attach.