Add new function to inline a list of calls in a goto_program#7550

remi-delmas-3000 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

remi-delmas-3000:inline-programremi-delmas-3000/cbmc:inline-programCopy head branch name to clipboard