Code

Further JBMC options clean-up#2579

Code

Merged

kroening merged 11 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:clean-up-java-optionspeterschrammel/cbmc:clean-up-java-optionsCopy head branch name to clipboard

Jul 19, 2018

Commits

Commits on Jul 18, 2018

• Remove obsolete string-max-length option

  peterschrammel

  committed
  7ef8a0e

  Copy full SHA for 7ef8a0e

• Remove --refine-strings from tests

  peterschrammel

  committed
  86d4fec

  Copy full SHA for 86d4fec

• Remove GOTO_CHECK options from JBMC

  peterschrammel

  committed
  35f69f0

  Copy full SHA for 35f69f0

• Remove error-label option from JBMC

  peterschrammel

  committed
  0d924ce

  Copy full SHA for 0d924ce

• Remove built-in-assertions option from JBMC

  peterschrammel

  committed
  e4cfb04

  Copy full SHA for e4cfb04

• Use default options in JBMC

  Show description for 0520732
  peterschrammel

  committed
  0520732

  Copy full SHA for 0520732

• Check that string options are used with strings turned on

  peterschrammel

  committed
  04fcc5b

  Copy full SHA for 04fcc5b

• Deactivate smt1 option in JBMC

  Show description for ebae090
  peterschrammel

  committed
  ebae090

  Copy full SHA for ebae090

• Break overlong lines in help text

  peterschrammel

  committed
  080fc91

  Copy full SHA for 080fc91

• Trim JBMC help text width to 80 chars

  peterschrammel

  committed
  38fe61e

  Copy full SHA for 38fe61e

• Clean up redundant specification of CBMC option

  peterschrammel

  committed
  44cfeb9

  Copy full SHA for 44cfeb9