Goto function inlining#262

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

danpoe:goto-function-inliningdanpoe/cbmc:goto-function-inliningCopy head branch name to clipboard