Code

Bump CBMC version to 5.83.0#2441

Code

Merged

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom zhassan-aws:cbmc-5.83.0zhassan-aws/kani:cbmc-5.83.0Copy head branch name to clipboardMay 15, 2023

+2-2

Commits

Commits on May 15, 2023

• Bump CBMC version to 5.83.0

  zhassan-aws

  committed
  8d2968f