CBMC
|
Go to the source code of this file.
Macros | |
#define | CPROVER_PREFIX "__CPROVER_" |
#define | CPROVER_FKT_PREFIX "__CPROVER_fkt_" |
#define CPROVER_FKT_PREFIX "__CPROVER_fkt_" |
Definition at line 16 of file cprover_prefix.h.
#define CPROVER_PREFIX "__CPROVER_" |
Definition at line 14 of file cprover_prefix.h.