cprover
|
Replace calls to given functions with calls to other given functions. More...
#include "goto_model.h"
Go to the source code of this file.
Classes | |
class | replace_callst |
Macros | |
#define | OPT_REPLACE_CALLS "(replace-calls):" |
#define | HELP_REPLACE_CALLS " --replace-calls f:g replace calls to f with calls to g\n" |
Replace calls to given functions with calls to other given functions.
Definition in file replace_calls.h.
#define HELP_REPLACE_CALLS " --replace-calls f:g replace calls to f with calls to g\n" |
Definition at line 50 of file replace_calls.h.
Referenced by goto_instrument_parse_optionst::help().
#define OPT_REPLACE_CALLS "(replace-calls):" |
Definition at line 48 of file replace_calls.h.