game-harddisk boundedness check
Bug #2006111 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
In 3.9 series, if you open game-harddisk and verify boundedness in the query dialog, it will fail with an error. This works fine in the cpn-branch.
Related branches
lp:~tapaal-contributor/tapaal/broken-boundedness-check-games-2006111
- Jiri Srba: Approve
-
Diff: 59 lines (+12/-8)3 files modifiedsrc/dk/aau/cs/verification/VerificationResult.java (+8/-6)
src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOptions.java (+2/-1)
src/pipe/gui/KBoundAnalyzer.java (+2/-1)
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.