Code

Improve JBMC command line options#2388

Code

Merged

peterschrammel merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:improve-jbmc-optionspeterschrammel/cbmc:improve-jbmc-optionsCopy head branch name to clipboard

Jul 9, 2018

Commits

Commits on Jul 8, 2018

• Make --lazy-methods and --refine-strings default

  Show description for 39bc7ea
  peterschrammel

  committed
  39bc7ea

  Copy full SHA for 39bc7ea

• Improve naming of command line options

  Show description for 548baea
  peterschrammel

  committed
  548baea

  Copy full SHA for 548baea

• Drop java prefix from throw-runtime-exceptions option

  Show description for 0a10bf3
  peterschrammel

  committed
  0a10bf3

  Copy full SHA for 0a10bf3