id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
90	NullPointerException when using potential deadlock	zirkel	Stephen Siegel	"When running compare with the potential deadlock option, a null pointer exception is genereated.

java.lang.NullPointerException
	at edu.udel.cis.vsl.minimp.verify.urgent.Environment.getAssumption(Environment.java:85)
	at edu.udel.cis.vsl.minimp.verify.IF.PotentialDeadlock.holdsAt(PotentialDeadlock.java:92)
	at edu.udel.cis.vsl.minimp.verify.IF.PotentialDeadlock.holdsAt(PotentialDeadlock.java:1)
	at edu.udel.cis.vsl.minimp.verify.IF.OuterPredicate.holdsAt(OuterPredicate.java:202)
	at edu.udel.cis.vsl.minimp.verify.IF.OuterPredicate.holdsAt(OuterPredicate.java:1)
	at edu.udel.cis.vsl.minimp.search.DfsSearcher.search(DfsSearcher.java:100)
	at edu.udel.cis.vsl.minimp.search.DfsSearcher.search(DfsSearcher.java:88)
	at edu.udel.cis.vsl.minimp.verify.Verification.compare(Verification.java:170)
	at edu.udel.cis.vsl.minimp.test.MatrixMultiplicationTest.testCompareUrgentPotential(MatrixMultiplicationTest.java:138)
	"	defect	closed	major		verify	1.0	fixed	verify, potential, deadlock