Code

Bump Kani version to 0.52.0#3224

Code

Merged

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:release-kani-0.52.0tautschnig/kani:release-kani-0.52.0Copy head branch name to clipboardJun 4, 2024

+30-19

Commits

Commits on Jun 4, 2024

• Bump Kani version to 0.52.0

  Show description for fb87e39
  tautschnig

  committed
  fb87e39