Code

Clean up remove-instanceof#1405

Code

Merged

smowton merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:cleanup/remove_instanceofsmowton/cbmc:cleanup/remove_instanceofCopy head branch name to clipboard

Sep 21, 2017

Commits

Commits on Sep 19, 2017

• Tidy up remove_instanceof

  Show description for f763691
  

  NathanJPhillips

  authored and

  smowton

  committed
  f763691

  Copy full SHA for f763691

Commits on Sep 21, 2017

• Simplify remove_instanceof logic

  Show description for 2ddb0bc
  

  NathanJPhillips

  authored and

  smowton

  committed
  2ddb0bc

  Copy full SHA for 2ddb0bc