Code

Use remove instanceof#490

Code

Merged

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:use_remove_instanceofsmowton/cbmc:use_remove_instanceofCopy head branch name to clipboard

Feb 3, 2017

Commits

Commits on Feb 3, 2017

• Use remove_instanceof in driver programs

  Show description for 7b04a04
  smowton

  committed
  7b04a04

  Copy full SHA for 7b04a04

• Add instanceof test cases

  Show description for be331e5
  smowton

  committed
  be331e5

  Copy full SHA for be331e5

• goto-instrument: remove virt calls and RTTI

  Show description for 5195a0c
  smowton

  committed
  5195a0c

  Copy full SHA for 5195a0c