Code

Bump CBMC version to 5.82.0#2417

Code

Merged

feliperodri merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:upgrade-cbmc-5.82.0adpaco-aws/rmc:upgrade-cbmc-5.82.0Copy head branch name to clipboardMay 1, 2023

+2-2

Commits

Commits on May 1, 2023

• Bump CBMC version to 5.82.0

  adpaco-aws

  committed
  cf569c2

  Copy full SHA for cf569c2