cprover_prefix.h File Reference
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Macros | |
| #define | CPROVER_PREFIX "__CPROVER_" |
| #define | CPROVER_FKT_PREFIX "__CPROVER_fkt_" |
Macro Definition Documentation
◆ CPROVER_FKT_PREFIX
| #define CPROVER_FKT_PREFIX "__CPROVER_fkt_" |
Definition at line 16 of file cprover_prefix.h.
◆ CPROVER_PREFIX
| #define CPROVER_PREFIX "__CPROVER_" |
Definition at line 14 of file cprover_prefix.h.
