Go to the documentation of this file. 9 #ifndef CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H 10 #define CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H 12 #define string_refinement_invariantt(reason) \ 13 (("string_refinement_invariantt("+std::string(reason)+")").c_str()) 15 #endif // CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H