Code

Remove unneeded code#937

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

owen-mc-diffblue:cleanup/using-expr2ct-convertowen-mc-diffblue/cbmc:cleanup/using-expr2ct-convertCopy head branch name to clipboard

May 18, 2017

Commits

Commits on May 18, 2017

• Remove unneeded code

  Show description for b88f98f
  

  Owen Jones

  committed
  b88f98f

  Copy full SHA for b88f98f