Skip to content

v0.22.4

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Nov 15:07
· 1 commit to main since this release
v0.22.4
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
63c7900
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

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

Assets 2
Loading