Shared place - colored tokens are confused
Bug #2012151 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
Open the attached net, go to the component "new" and double click
on the place P0. Now say it is shared (and initially it suggest the
button shared place name) but change it to lift shared place instead.
However, the 10 tokens from the button place remains in the lift place
even after it is changed (and so wrong type of tokens are assigned
to the lift place now).
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.
The net only opens in this branch
https:/ /github. com/TAPAAL/ tapaal- gui/pull/ 65