CBMC
string_refinement_invariant.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Placeholder for eventual upgraded invariants.
4 
5 Author: Jesse Sigal, jesse.sigal@diffblue.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H
10 #define CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H
11 
12 #define string_refinement_invariantt(reason) \
13  (("string_refinement_invariantt(" + std::string(reason) + ")").c_str())
14 
15 #endif // CPROVER_SOLVERS_REFINEMENT_STRING_REFINEMENT_INVARIANT_H