Code

bump cbmc to v5.89.0#2662

Code

Merged

adpaco-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom remi-delmas-3000:update-cbmc-5.89.0remi-delmas-3000/kani:update-cbmc-5.89.0Copy head branch name to clipboardAug 5, 2023

+2-2

Commits

Commits on Aug 4, 2023

• bump cbmc to v5.89.0

  

  Remi Delmas

  committed
  b71ff00

Commits on Aug 5, 2023

• Merge branch 'main' into update-cbmc-5.89.0

  adpaco-aws

  authored
  d3849c4