Remove exceptions pass: introduce per-function operation#1721

smowton wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/remove_exceptions_per_functionsmowton/cbmc:smowton/feature/remove_exceptions_per_functionCopy head branch name to clipboard