Code

Bump CBMC version to 5.87.0#2598

Code

Merged

adpaco-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom adpaco-aws:upgrade-cbmc-5.87.0adpaco-aws/rmc:upgrade-cbmc-5.87.0Copy head branch name to clipboardJul 10, 2023

+1-1

Commits

Commits on Jul 10, 2023

• Upgrade CBMC version

  adpaco-aws

  committed
  5b13dd1

  Copy full SHA for 5b13dd1