Code

Bump CBMC version#2702

Code

Merged

zhassan-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:cbmc-5.90zhassan-aws/kani:cbmc-5.90Copy head branch name to clipboardAug 23, 2023

+2-2

Commits

Commits on Aug 22, 2023

• Bump CBMC version

  zhassan-aws

  committed
  60e5662

Commits on Aug 23, 2023

• Merge branch 'main' into cbmc-5.90

  tautschnig

  authored
  eed229d