Code

Show properties for goto-diff#1861

Code

Merged

peterschrammel merged 7 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:goto-diff-propertiespeterschrammel/cbmc:goto-diff-propertiesCopy head branch name to clipboard

Feb 19, 2018

Commits

Commits on Feb 18, 2018

• Replace cout in show_properties

  Show description for f4a8b0c
  peterschrammel

  committed
  f4a8b0c

  Copy full SHA for f4a8b0c

• Expose conversion of properties of a goto-program into a JSON array

  Show description for 937b5f9
  peterschrammel

  committed
  937b5f9

  Copy full SHA for 937b5f9

• Factor out show properties command line def and docs

  Show description for a0c45f4
  peterschrammel

  committed
  a0c45f4

  Copy full SHA for a0c45f4

• Enable goto check and cover options in goto-diff

  Show description for a0e5063
  peterschrammel

  committed
  a0e5063

  Copy full SHA for a0e5063

• Use CPROVER exit codes

  peterschrammel

  committed
  d3eb1f3

  Copy full SHA for d3eb1f3

• Show properties in goto-diff

  Show description for a4d3dc3
  peterschrammel

  committed
  a4d3dc3

  Copy full SHA for a4d3dc3

• Test for goto-diff show properties

  peterschrammel

  committed
  df9aab5

  Copy full SHA for df9aab5