id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
74	Bus error using -simplify	Stephen Siegel	ywei	"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$ 
"	defect	closed	major		symbolic	1.0	fixed