Code

Make set_indices a template#4333

Code

Merged

romainbrenguier merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/symex-set-indices-templateromainbrenguier/cbmc:refactor/symex-set-indices-templateCopy head branch name to clipboard

Mar 6, 2019

Commits

Commits on Mar 6, 2019

• Move set_l*_indices definition before first call

  Show description for 683495f
  romainbrenguier

  committed
  683495f

  Copy full SHA for 683495f

• Make set_indices a template

  Show description for 03f5c16
  romainbrenguier

  committed
  03f5c16

  Copy full SHA for 03f5c16

• Simplify rename_ssa using set_indices template

  Show description for 78cf428
  romainbrenguier

  committed
  78cf428

  Copy full SHA for 78cf428