CBMC
replace_calls.h File Reference
#include <util/irep.h>
#include <list>
#include <map>
+ Include dependency graph for replace_calls.h:
+ This graph shows which files directly or indirectly include this file:

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"
 

Detailed Description

Replace calls to given functions with calls to other given functions

Definition in file replace_calls.h.

Macro Definition Documentation

◆ HELP_REPLACE_CALLS

#define HELP_REPLACE_CALLS   " --replace-calls f:g replace calls to f with calls to g\n"

Definition at line 58 of file replace_calls.h.

◆ OPT_REPLACE_CALLS

#define OPT_REPLACE_CALLS   "(replace-calls):"

Definition at line 56 of file replace_calls.h.