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

Broken history CPN - fix 2040246 #113

Merged

srba merged 1 commit into TAPAAL:main from mtygesen:broken-history-cpn-2040246

Oct 25, 2023

Contributor

mtygesen commented Oct 25, 2023

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

Changes (ColorMultiset.java:80) to compare with objects equals() function instead of comparing their memory address


          Compare by ColorTypes equals() function instead of comparing memory a…

…ddress

srba self-requested a review

October 25, 2023 20:28

srba approved these changes

View reviewed changes

Member

srba left a comment

Solves the issue.

srba merged commit fc00f78 into TAPAAL:main

1 check passed

mtygesen deleted the broken-history-cpn-2040246 branch

October 31, 2023 16:32

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

Labels

None yet