Code

More JSON output#127

Code

Merged

kroening merged 8 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:json-outputpeterschrammel/cbmc:json-outputCopy head branch name to clipboard

Jul 1, 2016

Commits

Commits on Jun 18, 2016

• JSON output with error trace, property id and status for all properties and stop-on-fail

  

  Peter Schrammel

  committed
  817fcff

  Copy full SHA for 817fcff

• camlCase goto trace JSON property names

  

  Peter Schrammel

  committed
  c34d725

  Copy full SHA for c34d725

Commits on Jun 19, 2016

• JSON output for --cover; property/goal descriptions

  

  Peter Schrammel

  committed
  1a979b9

  Copy full SHA for 1a979b9

• JSON output for --show-loops

  

  Peter Schrammel

  committed
  738bbef

  Copy full SHA for 738bbef

• JSON expr util

  

  Peter Schrammel

  committed
  d457158

  Copy full SHA for d457158

• JSON output with location for show loops and properties

  

  Peter Schrammel

  committed
  fed0c85

  Copy full SHA for fed0c85

• make json goto trace use json expr util

  

  Peter Schrammel

  committed
  f1ebf78

  Copy full SHA for f1ebf78

• uniform naming of sourceLocation

  

  Peter Schrammel

  committed
  04e6b84

  Copy full SHA for 04e6b84