Code

Bump Kani version to 0.48.0#3075

Code

Merged

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:kani-0.48.0zhassan-aws/kani:kani-0.48.0Copy head branch name to clipboardMar 13, 2024

+33-18

Commits

Commits on Mar 13, 2024

• Bump Kani version to 0.48.0

  zhassan-aws

  committed
  e3520dd