Game verifydtapn engine NPE
Bug #1944422 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
Open the attached net (untimed game) and verify. The GUI returns NPE - even though it should be able to verify the net.
Related branches
lp:~tapaal-contributor/tapaal/game-verifydtapn-npe-1944422
- Jiri Srba: Approve
-
Diff: 50 lines (+14/-5)2 files modifiedsrc/dk/aau/cs/verification/NameMapping.java (+1/-1)
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java (+13/-4)
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
