Code

Bump Kani version to 0.49.0#3126

Code

Merged

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:release-kani-0.49.0tautschnig/kani:release-kani-0.49.0Copy head branch name to clipboardApr 5, 2024

+32-18

Commits

Commits on Apr 5, 2024

• Bump Kani version to 0.49.0

  Show description for 2cb9512
  tautschnig

  committed
  2cb9512