Code

Update CBMC to version 5.21.0#5717

Code

Merged

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:cbmc-5.20.2NlightNFotis/cbmc:cbmc-5.20.2Copy head branch name to clipboard

Jan 7, 2021

Commits

Commits on Jan 7, 2021

• Update CBMC to version 5.21.0

  NlightNFotis

  committed
  0cc4f0a

  Copy full SHA for 0cc4f0a