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