Using Delay & Fire does wong time delay
Bug #1947835 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Medium
|
Kenneth Yrke Jørgensen |
Bug Description
This issue was originally discovered and reported by Sean Kristian Remond Harbo.
The delay & fire button does not update after doing an manuel delay, so it still tries to perform a delay (In attached model its blocked by invarians). You can confirm the extra delay is done by removing the invariant and see the double delay.
The delay & fire action is also used the the automatic simulation that there fore is also broken.
Issue is confirmed in 3.9 and 3.8.
Clicking the transition or double clicking in the transitions list works fine.
Related branches
lp:~yrke/tapaal/fix1947835
- Jiri Srba: Approve
-
Diff: 103 lines (+10/-19)3 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+2/-2)
src/dk/aau/cs/model/tapn/TimedTransition.java (+4/-6)
src/pipe/gui/Animator.java (+4/-11)
Changed in tapaal: | |
assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
Changed in tapaal: | |
status: | Confirmed → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.