Code

Port JSON pointer output fix#717

Code

Merged

forejtv merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

peterschrammel:bugfix/port-json-pointer-fixpeterschrammel/cbmc:bugfix/port-json-pointer-fixCopy head branch name to clipboard

Mar 30, 2017

Commits

Commits on Mar 28, 2017

• Display dynamic object names as 'data' in JSON traces

  Show description for 072e374
  peterschrammel

  committed
  072e374

  Copy full SHA for 072e374