Code

Bump CBMC version#2336

Code

Merged

zhassan-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:cbmc-5.80zhassan-aws/kani:cbmc-5.80Copy head branch name to clipboardApr 4, 2023

+2-2

Commits

Commits on Apr 3, 2023

• Bump CBMC version

  zhassan-aws

  committed
  81cb9e2

  Copy full SHA for 81cb9e2

Commits on Apr 4, 2023

• Merge branch 'main' into cbmc-5.80

  zhassan-aws

  authored
  3bcb2eb

  Copy full SHA for 3bcb2eb