cprover
|
Replace calls to given functions with calls to other given functions. More...
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.
Definition at line 58 of file replace_calls.h.
Definition at line 56 of file replace_calls.h.