Code

Update CBMC version to 5.94#2821

Code

Merged

tautschnig merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-xxxx-cmbc-5.94celinval/kani-dev:issue-xxxx-cmbc-5.94Copy head branch name to clipboardOct 17, 2023

+17-4

Commits

Commits on Oct 16, 2023

• Update CBMC version to 5.94

  Show description for 4dc5a62
  celinval

  committed
  4dc5a62

Commits on Oct 17, 2023

• Merge branch 'main' into issue-xxxx-cmbc-5.94

  tautschnig

  authored
  af6be69