Boundedness check is broken in the workflow analysis
Bug #1945821 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Undecided
|
Lena Ernstsen |
Bug Description
Open the intro example, untime it and open workflow analysis in Tools. Then run "check boundedness" and you get NPE. This bug was not present in 3.8, only in trunk.
Related branches
lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821
- Jiri Srba: Approve
-
Diff: 36 lines (+11/-1)1 file modifiedsrc/pipe/gui/KBoundAnalyzer.java (+11/-1)
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.