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