Run remove-virtual-functions on a per-function basis#1717

smowton merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/remove_virtual_functions_per_functionsmowton/cbmc:smowton/feature/remove_virtual_functions_per_functionCopy head branch name to clipboard