No trace is displayed even if a property is satisfied
Bug #352697 reported by
Jiri Srba
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Medium
|
Kenneth Yrke Jørgensen | ||
Bug Description
The trace display if a query is satisfied got broken (does not show any trace or it does not even toggle the Simulation mode).
Consider e.g. the attached net (but it is broken on any other net with a satisfied query too).
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapn: | |
| importance: | Undecided → High |
| milestone: | none → version1 |
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #2 |
| Changed in tapn: | |
| assignee: | nobody → yrke |
| status: | New → Confirmed |
| status: | Confirmed → Fix Committed |
Revision history for this message
| Jiri Srba (srba) wrote | #3 |
| Changed in tapn: | |
| status: | Fix Committed → Incomplete |
Revision history for this message
| Jiri Srba (srba) wrote | #4 |
| Changed in tapn: | |
| importance: | High → Medium |
| status: | Incomplete → In Progress |
| milestone: | version1 → version1.5 |
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #5 |
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #6 |
| Changed in tapn: | |
| status: | In Progress → Fix Committed |
| Changed in tapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
Traced back to an error in an update of the names of the verification methods.