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)
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| 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 |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| status: | Fix Committed → New |
Revision history for this message
| Jiri Srba (srba) wrote | #3 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
Still a problem in 3.9 series