Go to the documentation of this file.
10 #ifndef CPROVER_UTIL_CPROVER_PREFIX_H
11 #define CPROVER_UTIL_CPROVER_PREFIX_H
14 #define CPROVER_PREFIX "__CPROVER_"
16 #define CPROVER_FKT_PREFIX "__CPROVER_fkt_"
18 #define CPROVER_MACRO_PREFIX "__CPROVER_macro_"
20 #endif // CPROVER_UTIL_CPROVER_PREFIX_H