Code

Improve unified_diff interface#1526

Code

Merged

tautschnig merged 10 commits intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/fixup-unified-diffreuk/cbmc:reuk/fixup-unified-diffCopy head branch name to clipboard

Nov 1, 2017

Commits

Commits on Nov 1, 2017

• Rename differences map data member

  reuk

  committed
  f54db47

  Copy full SHA for f54db47

• Make data member private

  reuk

  committed
  8c35211

  Copy full SHA for 8c35211

• Add getter for data member

  reuk

  committed
  11c9acc

  Copy full SHA for 11c9acc

• Move instructions_equal definition

  reuk

  committed
  f815cc0

  Copy full SHA for f815cc0

• Make instructions_equal static

  reuk

  committed
  e32c6c5

  Copy full SHA for e32c6c5

• Remove unused parameter

  reuk

  committed
  4555d9f

  Copy full SHA for 4555d9f

• Fix formatting

  reuk

  committed
  6833af6

  Copy full SHA for 6833af6

• Return from get_diff by value

  reuk

  committed
  a7afc6c

  Copy full SHA for a7afc6c

• Change asserts to invariants

  reuk

  committed
  8d0b23b

  Copy full SHA for 8d0b23b

• Use lower-case characters to start error messages

  tautschnig

  authored
  05dc65c

  Copy full SHA for 05dc65c