Update tokens 1988664 - Githubissues

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Update tokens 1988664 #43

Closed LenaSaid closed 1 year ago

LenaSaid commented 1 year ago

When a color type is updated with a new color, the tokens that contain that color type is also updated. Fixes problem with the token count not being updated.

Solves https://bugs.launchpad.net/tapaal/+bug/1988664.

OBS: The token count for product colors are not shown correctly, as this depends on PR #42 being merged.

LenaSaid commented 1 year ago

I tested on philospophers example, changed the middle place to contain 1'Philo.all and then added a new color to the colortype Philo. The number was updated from 5 to 6, however, I got this error: Exception in thread "AWT-EventQueue-0" java.lang.NullPointerException: ....

Should be fixed now