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

Merged

remi-delmas-3000 merged 1 commit intodiffblue:developfrom

remi-delmas-3000:inline-program

Feb 21, 2023

Commits on Feb 20, 2023

Add new function to inline calls in a goto_program
Remi Delmas
committed