Code

Fix remove_pointer_offsets#1066

Code

Merged

smowton merged 1 commit intotest-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton/fix/json_trace_pointer_offsetdiffblue/cbmc:smowton/fix/json_trace_pointer_offsetCopy head branch name to clipboard

Jun 28, 2017

Commits

Commits on Jun 27, 2017

• Fix remove_pointer_offsets

  Show description for edd7b0a
  smowton

  committed
  edd7b0a

  Copy full SHA for edd7b0a