CBMC
replace_calls.h File Reference

Replace calls to given functions with calls to other given functions. More...

#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
 

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
Value:
" {y--replace-calls} {uf}:{ug} \t replace calls to {uf} with calls to " \
"{ug}\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.