Shared place - colored tokens are confused

Bug #2012151 reported by Jiri Srba
6
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).

Revision history for this message
Jiri Srba (srba) wrote :
Revision history for this message
Jiri Srba (srba) wrote :

The net only opens in this branch

https://github.com/TAPAAL/tapaal-gui/pull/65

Revision history for this message
Jiri Srba (srba) wrote :

Here is a net that opens in cpn branch and shows the same issue.
Just go to the component "new" and double click the only place there.
Now change the shared place name from place_prod to place_prod2. It
changes the color type but the token in the place does not get updated
to the tokens from place_prod2. After exiting the place dialog, it still has
the wrong token.

Lena Ernstsen (lsaid)
Changed in tapaal:
assignee: nobody → Lena Ernstsen (lsaid)
status: New → In Progress
Jiri Srba (srba)
Changed in tapaal:
status: In Progress → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.