Query dialog should disable sym.red. when a trace selected
Bug #347510 reported by
Jiri Srba
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Medium
|
Joakim Byg | ||
Bug Description
In the dialog for queries, once some or fastest trace is selected, the naive+symetry and advanced+symmetry should be disallowed to choose.
| Changed in tapn: | |
| importance: | Undecided → Medium |
| milestone: | none → version1 |
Revision history for this message
| Joakim Byg (joakim-byg) wrote | #1 |
| Changed in tapn: | |
| assignee: | nobody → joakim-byg |
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #2 |
| Changed in tapn: | |
| status: | New → Fix Committed |
| Changed in tapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
It is made so that if you choose anything different from naive translation, then the trace options are disabled and no trace is selected.