Code

Add --object-bits option to goto-cc#5440

Code

Merged

thomasspriggs merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/goto-cc-object-bits-sizethomasspriggs/cbmc:tas/goto-cc-object-bits-sizeCopy head branch name to clipboard

Aug 6, 2020

Commits

Commits on Aug 6, 2020

• Add `--object-bits` option to goto-cc

  Show description for e4a50aa
  thomasspriggs

  committed
  e4a50aa

  Copy full SHA for e4a50aa

• Document new `goto-cc` `--object-bits` command line option

  thomasspriggs

  committed
  06c5aa1

  Copy full SHA for 06c5aa1