Code

Update CBMC version to 5.16.0#5520

Code

Merged

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:bump-cbmc-version-to-5.16.0NlightNFotis/cbmc:bump-cbmc-version-to-5.16.0Copy head branch name to clipboard

Oct 9, 2020

Commits

Commits on Oct 9, 2020

• Update CBMC version to 5.16.0

  

  Fotis Koutoulakis

  committed
  fc2dfe6

  Copy full SHA for fc2dfe6