New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Initial markings disappearing - fix 2038418 #112

Merged

srba merged 2 commits into TAPAAL:main from mtygesen:initial-marking-disappear-2038418

Oct 24, 2023

Contributor

mtygesen commented Oct 23, 2023

Fixes:
https://bugs.launchpad.net/tapaal/+bug/2038418

Fixed issue where initial markings from non-colored nets would disappear after changes during simulation.
Fixed issue where places with zero tokens in CPN would display as "#0" instead of simply being empty

mtygesen added 2 commits

October 23, 2023 19:49


          Fixes bug where initial markings disappear in non-color nets

80e8b5b


          Fixed bug where 0 tokens in a place would be displayed as #0 in CPN

3183c6f

srba requested review from srba and yrke

October 23, 2023 20:16

srba approved these changes

View reviewed changes

Member

srba left a comment

Fixes the issues with initial marking.

srba merged commit 997db7b into TAPAAL:main

1 check passed

mtygesen deleted the initial-marking-disappear-2038418 branch

October 25, 2023 15:20

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet