boundedness check
Bug #1944588 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 and open query and press "boundedness check". Some dialog will quickly pop up and then disappear again, but it is unreadable what it says.
Related branches
lp:~tapaal-contributor/tapaal/boundedness-check-1944588
- Jiri Srba: Approve
-
Diff: 77 lines (+14/-7)3 files modifiedsrc/pipe/gui/KBoundAnalyzer.java (+3/-3)
src/pipe/gui/RunKBoundAnalysis.java (+10/-3)
src/pipe/gui/RunVerificationBase.java (+1/-1)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.