v0.44.5

apalache-bot released this 05 Feb 03:39

· 129 commits to main since this release

0.44.5 - 2024-02-05

Bug fixes

When expected server port is already bound, report clean user error instead of crashing with a traceback (#2676).

Assets 7