Bus error using -simplify

[Stephen Siegel]

frederic:matrixMultiplication siegel$ tass compare -simplify matrixMultiplicationSpec_2.mmp matrixMultiplicationImpl_2.mmp
+----------------------------------------------------------------------+
| TASS: Toolkit for Accurate Scientific Software |
| version 1.0.r1054 (2009-08-29) http://vsl.cis.udel.edu/tass |
+----------------------------------------------------------------------+

command : compare
specfication : matrixMultiplicationSpec_2.mmp(np=1)
implementation : matrixMultiplicationImpl_2.mmp(np=1)
Deadlock detection : absolute
Reduction : standard
verbose: : No
simplify: : Yes
bufferBound : 10
use loop technique : false

Invalid access of stack red zone 0x101101ff0 rip=0x111fd49b4

/tools/bin/tass: line 2: 13237 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 $*
frederic:matrixMultiplication siegel$

[ywei]

Can not reproduce the bug. I have run it on command line. The bug didn't appear, but I got some other CVC3 exception due to variable redefinition. I will look into that.