Raw query options - small issues
Bug #2046945 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Unassigned | ||
Bug Description
Two issues:
1. Open e.g. ERK example net and make a new query, the option line is not populated with "-x 1" and this gives a verification problem.
2. Open the query in ERK model and click on "Use" and now try to edit the query - it should be possible
(only the verification options should be disabled) but the query cannot be edited (only the "not" button is enabled actually).
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
