UPPAAL style indicators on queries
Bug #476378 reported by
Morten Jacobsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Triaged
|
Wishlist
|
Unassigned |
Bug Description
The query list should have UPPAAL style indicators next to each query that shows if it was satisfied or not..
These should of course be reset when the model changes..
Changed in tapn: | |
status: | New → Triaged |
To post a comment you must log in.