Code

Bump CBMC version to 5.86.0#2561

Code

Merged

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:cbmc-5.86.0zhassan-aws/kani:cbmc-5.86.0Copy head branch name to clipboardJun 23, 2023

+2-2

Commits

Commits on Jun 23, 2023

• Bump CBMC version to 5.86.0

  zhassan-aws

  committed
  8a9f76e