id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
61	null pointer exception in simpleMPSpec	Stephen Siegel		"{{{
frederic:simpleMP siegel$ tass verify -verbose simpleMPSpec.mmp -np 2
+----------------------------------------------------------------------+
|           TASS: Toolkit for Accurate Scientific Software             |
|  version 1.0.r1027 (2009-08-26)        http://vsl.cis.udel.edu/tass  |
+----------------------------------------------------------------------+
                   command            : verify
                   model              : simpleMPSpec.mmp(np=2)
                   Deadlock detection : absolute
                   Reduction          : standard
                   verbose:           : Yes
                   simplify:          : No
                   bufferBound        : 10
Exception in thread ""main"" java.lang.NullPointerException
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processCommunicationExpr(TreeParser.java:1214)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processRecvStmt(TreeParser.java:1197)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatement(TreeParser.java:912)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatementList(TreeParser.java:1008)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processCompoundStmt(TreeParser.java:992)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatement(TreeParser.java:908)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processConditionStmt(TreeParser.java:1019)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStatement(TreeParser.java:909)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processStmtList(TreeParser.java:479)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processFunctionBody(TreeParser.java:452)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processFunction(TreeParser.java:387)
	at edu.udel.cis.vsl.minimp.front.minimp.parser.TreeParser.processAST(TreeParser.java:136)
	at edu.udel.cis.vsl.minimp.Minimp.verify(Minimp.java:388)
	at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:506)
frederic:simpleMP siegel$ 
}}}"	defect	closed	major		front	1.0	fixed	communication, receive, simpleMP