cprover
Loading...
Searching...
No Matches
string_refinement_invariant.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define string_refinement_invariantt(reason)

Macro Definition Documentation

◆ string_refinement_invariantt

#define string_refinement_invariantt ( reason)
Value:
(("string_refinement_invariantt(" + std::string(reason) + ")").c_str())

Definition at line 12 of file string_refinement_invariant.h.