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 |
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