id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
118	Weird failure in MatrixMultiplication test	Stephen Siegel		"I'm getting a strange error when using simplify mode to verify {{{matrixMultiplicationImpl_2.mmp}}}: something to do with the ""red zone"".  

{{{
Verifying matrixMultiplicationImpl_2...
        filename : examples/matrixMultiplication/matrixMultiplicationImpl_2.mmp
        numProcs : 1
            mode : VERIFY
          prover : CVC3
        deadlock : ABSOLUTE
       reduction : STANDARD
        simplify : true
         verbose : false
     loop method : false
 debug directory : /Users/siegel/Documents/workspace/MiniMP/MiniMPOutput/

Invalid access of stack red zone 0x101201e70 rip=0x11508bb6d
}}}
"	defect	closed	major		test	1.0	fixed	matrix multiplication, red zone