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

Release v0.22.4 #1554

Merged

bugarela merged 1 commit into main from release/0.22.4

Nov 19, 2024

Collaborator

bugarela commented Nov 19, 2024

v0.22.4 -- 2024-11-19

Added

Changed

Deprecated

Removed

Fixed

Fixed a problem where traces other than the first one when --n-traces > 1
and --mbt is true had the incorrect action_taken and nondet_picks values
(Hotfix: Properly reset metadata variables #1553).

Security


          Release v0.22.4

63c7900

bugarela merged commit 7b968e5 into main

14 checks passed

bugarela deleted the release/0.22.4 branch

November 19, 2024 15:05

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

Labels

None yet