Make boundedness check possible for UPPAAL translations
Bug #1223188 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Triaged
|
Wishlist
|
Unassigned | ||
Bug Description
One could add some int variable counting the number of used templates so that we know if all of them were used or not.
This could be then parsed by TAPAAL to make conclusive answer (at the moment we say that boundedness check
from the query dialog should be run).
| Changed in tapaal: | |
| importance: | Medium → Wishlist |
| status: | New → Triaged |
To post a comment you must log in.
