Code

clean up string_constantt#3168

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

remove_from_array_exprdiffblue/cbmc:remove_from_array_exprCopy head branch name to clipboard

Oct 14, 2018

Commits

Commits on Oct 14, 2018

• remove unused string_constantt::from_array_expr

  

  Daniel Kroening

  committed
  a904300

  Copy full SHA for a904300

• remove unused code in string_constantt::to_array_expr

  

  Daniel Kroening

  committed
  4ea9151

  Copy full SHA for 4ea9151