Code

use make_X API follow-up#4182

Code

Merged

kroening merged 5 commits intodevelopdiffblue/cbmc:developfrom

use_make_X5diffblue/cbmc:use_make_X5Copy head branch name to clipboard

Feb 26, 2019

Commits

Commits on Feb 26, 2019

• use instructiont::turn_into_skip

  Show description for 1f6762f
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  1f6762f

  Copy full SHA for 1f6762f

• prefer .add over .emplace

  Show description for c6dba6a
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  c6dba6a

  Copy full SHA for c6dba6a

• use make_assignment(lhs, rhs)

  Show description for 9e596c9
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  9e596c9

  Copy full SHA for 9e596c9

• avoid access to instructiont::code

  Show description for 82d7ce9
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  82d7ce9

  Copy full SHA for 82d7ce9

• use goto_programt::make_X

  Show description for cba52e3
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  cba52e3

  Copy full SHA for cba52e3