Available verification options are not changed if query type is changed using manual query editor
Bug #769881 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Low
|
Unassigned | ||
1.4 |
Fix Released
|
Low
|
Unassigned |
Bug Description
To reproduce the bug open a net, open a query Press "edit query" to change the query manually.
Change the query type to EG and press parse query.
You can now still select Standard and optimized standart in the reduction method although theres are not allowed available for EG queries.
Changed in tapaal: | |
assignee: | nobody → lassejac (lassejacobsen) |
status: | Triaged → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.