Skip to content

v0.22.4

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Nov 15:07
· 22 commits to main since this release
v0.22.4
63c7900

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
    (#1553).

Security