Boundedness check is broken
Bug #1987383 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Open the attached net and query and in the query dialog press "boudedness check". It ends up with an error.
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: | |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
assignee: | Lena Ernstsen (lsaid) → Kenneth Yrke Jørgensen (yrke) |
assignee: | Kenneth Yrke Jørgensen (yrke) → nobody |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.
Still a problem in 3.9 series