Code

Use byte_extract_exprt constructor#2065

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:be-constructortautschnig/cbmc:be-constructorCopy head branch name to clipboard

Apr 18, 2018

Commits

Commits on Apr 16, 2018

• Use byte_extract_exprt constructor

  tautschnig

  committed
  bcc4dc4

  Copy full SHA for bcc4dc4