Code

Better output of arrays in json#922

Code

Merged

romainbrenguier merged 4 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

romainbrenguier:pull-request/arrays-in-traceromainbrenguier/cbmc:pull-request/arrays-in-traceCopy head branch name to clipboard

Jun 22, 2017

Commits

Commits on Jun 21, 2017

• Simplifying expressions of the form &array[0] in json

  Show description for 02b7942
  romainbrenguier

  committed
  02b7942

  Copy full SHA for 02b7942

• Simplifying array access and expressions with pointer offsets

  Show description for f4fa778
  romainbrenguier

  committed
  f4fa778

  Copy full SHA for f4fa778

• Adding test to check that data field of strings are set in json

  romainbrenguier

  committed
  5cfa413

  Copy full SHA for 5cfa413

• Documentation for json_goto_trace in doxygen format

  romainbrenguier

  committed
  f950ffc

  Copy full SHA for f950ffc