Skip to content

Kani Verifier CI Action 0.25

Compare
Choose a tag to compare
@celinval celinval released this 06 Apr 18:46
· 16 commits to main since this release
fd0aa0c

Bump Kani version to 0.25.0