Skip to content

Bump Kani version to 0.56.0#3581

Merged
celinval merged 2 commits into
model-checking:mainfrom
celinval:release-0.56.0
Oct 9, 2024
Merged

Bump Kani version to 0.56.0#3581
celinval merged 2 commits into
model-checking:mainfrom
celinval:release-0.56.0

Address PR comments

7987f1a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs