Untimed trace simulation broken
Bug #928927 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
High
|
Jakob Taankvist |
Bug Description
Verify some liveness query that gives a trace and display the trace. It appears as untimed one, so the user can experiment
with time delays in order to achieve it. However, for shared transitions, it does not recognize that it is the same
transition as in untimed trace and will say that it will destroy the untimed trace, even though if a reasonable continuation
is simulated in the simulator. Should be fixed.
Related branches
lp:~tapaal-contributor/tapaal/brokenUntimedTrace
- Kenneth Yrke Jørgensen: Approve (code review)
- Jiri Srba: Approve
-
Diff: 12 lines (+1/-1)1 file modifiedsrc/pipe/gui/Animator.java (+1/-1)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.