id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1	null corresponding variable: tile example	Stephen Siegel	ywei	"Using revision 942.
Running compare on tile example yields following exception.  It means that setCorrespondingVariable is being called with null argument:

frederic:tile siegel$ tass compare spec.mmp impl.mmp 
MiniMP version 1.0
URL: http://vsl.cis.udel.edu

Minimp initialized with 1 process
Program runs in compare mode.
Program parsed succesfully.
Exception in thread ""main"" java.lang.NullPointerException: null correspondingVariable in setCorrespondingVariable
	at edu.udel.cis.vsl.minimp.model.impl.Model.setCorrespondingVariable(Model.java:403)
	at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.buildModel(ModelBuilder.java:130)
	at edu.udel.cis.vsl.minimp.Minimp.compareEquivalence(Minimp.java:218)
	at edu.udel.cis.vsl.minimp.Minimp.main(Minimp.java:260)
frederic:tile siegel$ pwd
/Users/siegel/minimp/trunk/examples/tile
frederic:tile siegel$ 
"	defect	closed	major		verify	1.0	fixed	corresponding value