cprover
|
Go to the source code of this file.
Macros | |
#define | string_refinement_invariantt(reason) (("string_refinement_invariantt("+std::string(reason)+")").c_str()) |
#define string_refinement_invariantt | ( | reason | ) | (("string_refinement_invariantt("+std::string(reason)+")").c_str()) |
Definition at line 12 of file string_refinement_invariant.h.