Code

Update CBMC version to 5.79.0#2301

Code

Merged

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:cbmc-5.79.0tautschnig/kani:cbmc-5.79.0Copy head branch name to clipboardMar 17, 2023

+58-8

Commits

Commits on Mar 17, 2023

• Update CBMC version to 5.79.0

  Show description for 07ba909
  

  tautschnig

  and

  zhassan-aws

  committed
  07ba909