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