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

[Stephen Siegel]

When you do it from the commandline, you also see that it results in a bus error:

Invalid access of stack red zone 0x101201ff8 rip=0x1148c59b8

/tools/bin/tass: line 2: 15832 Bus error               java -classpath .:/Users/siegel/Documents/workspace/MiniMP/MiniMP.jar:/Applications/ANTLRWorks.app/Contents/Resources/Java/antlrworks.jar:/tools/cvc3-20090309/java/lib/libcvc3.jar:/tools/junit4.4/junit-4.4.jar -d64 -Djava.library.path=/tools/cvc3-20090309/java/lib edu.udel.cis.vsl.minimp.MiniMP $*

[Stephen Siegel]

Now it says two of the tests fail due to running out of Java heap space. What is it that is using so much heap space? Try increasing the heap space bound.

[Stephen Siegel]

Working.