id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
52	matrixMultiplication compare returns false	zirkel	ywei zirkel	"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."	defect	closed	major		examples	1.0	fixed	examples, matrixMultiplication