Code

cbmc help fixes#2842

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

cbmc-helpdiffblue/cbmc:cbmc-helpCopy head branch name to clipboard

Aug 27, 2018

Commits

Commits on Aug 26, 2018

• missing newline in help

  

  Daniel Kroening

  committed
  708acf4

  Copy full SHA for 708acf4

• remove help for --smt1 option

  

  Daniel Kroening

  committed
  5513c79

  Copy full SHA for 5513c79

• help: --drop-unused-functions belongs with the transformation

  

  Daniel Kroening

  committed
  30f055b

  Copy full SHA for 30f055b