13 #ifndef CPROVER_GOTO_PROGRAMS_REPLACE_CALLS_H 14 #define CPROVER_GOTO_PROGRAMS_REPLACE_CALLS_H 48 #define OPT_REPLACE_CALLS "(replace-calls):" 50 #define HELP_REPLACE_CALLS \ 51 " --replace-calls f:g replace calls to f with calls to g\n" 53 #endif // CPROVER_GOTO_PROGRAMS_REPLACE_CALLS_H void check_replacement_map(const replacement_mapt &replacement_map, const goto_functionst &goto_functions, const namespacet &ns) const
replacement_mapt parse_replacement_list(const replacement_listt &replacement_list) const
void operator()(goto_modelt &goto_model, const replacement_listt &replacement_list) const
Replace function calls with calls to other functions.
A generic container class for the GOTO intermediate representation of one function.
goto_programt & goto_program
std::list< std::string > replacement_listt
std::map< irep_idt, irep_idt > replacement_mapt