Code

Add raw irept dump of lhs to trace#1694

Code

Merged

smowton merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:feature/add-raw-lhs-to-traceNathanJPhillips/cbmc:feature/add-raw-lhs-to-traceCopy head branch name to clipboard

Jan 9, 2018

Commits

Commits on Jan 8, 2018

• Add raw LHS irep field to trace output

  Show description for e86080a
  NathanJPhillips

  committed
  e86080a

  Copy full SHA for e86080a

• Added base_name in comments for all symbols

  NathanJPhillips

  committed
  69b0ff1

  Copy full SHA for 69b0ff1

• Protect extended trace behind a command line option

  NathanJPhillips

  committed
  76318ce

  Copy full SHA for 76318ce

• Added regression tests

  NathanJPhillips

  committed
  a9c4e4f

  Copy full SHA for a9c4e4f