Boundedness check fails
Bug #2006469 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Kenneth Yrke Jørgensen |
Bug Description
Open the attached net and open the query and verify boundedness. The GUI raises and exception:
Exception in thread "AWT-EventQueue-0" java.util.
This is a problem both in the cpn-branch as well as in 3.9 and should be fixed for boths.
Related branches
lp:~tapaal-contributor/tapaal/fix1987383
- Jiri Srba: Approve
-
Diff: 30 lines (+12/-3)1 file modifiedsrc/pipe/gui/KBoundAnalyzer.java (+12/-3)
Changed in tapaal: | |
assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.
This error is often seen if you are deleting/adding to a list you are iterating over.