Untimed trace simulation shows an old concrete trace
Bug #407355 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Medium
|
Kenneth Yrke Jørgensen | ||
Bug Description
Run tappal 1.2, open intro example and click on verify. Then open producer-consumer example, click on verify, click OK
and it shows an untimed trace but at the same time old concrete simulation trace from intro example.
Related branches
| Changed in tapn: | |
| importance: | Undecided → Medium |
| milestone: | none → version1.5 |
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #1 |
| Changed in tapn: | |
| assignee: | nobody → Kenneth Yrke Joergensen (yrke) |
| milestone: | version1.5 → version1.2 |
| status: | New → Fix Committed |
| Changed in tapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
A fix has been commited to trunk, to fix this issue