CBMC
Loading...
Searching...
No Matches
string_refinement_invariant.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Placeholder for eventual upgraded invariants.
4
5Author: 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