Opened 17 years ago
Closed 17 years ago
#90 closed defect (fixed)
NullPointerException when using potential deadlock
| Reported by: | zirkel | Owned by: | Stephen Siegel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | verify | Version: | 1.0 |
| Keywords: | verify, potential, deadlock | Cc: |
Description
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)
Change History (2)
comment:1 by , 17 years ago
comment:2 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Fixed simple error (forgot to initialize variable)...similar to AbsoluteDeadlock case.
For example, this will occur when running:
tass compare -deadlock=potential examples/simpleArray/simpleArraySpec.mmp examples/simpleArray/simpleArrayImpl.mmp