ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
rewrite_op Struct Reference
Public Attributes
size_t
start
size_t
end
std::string
text
Member Data Documentation
◆
end
size_t
rewrite_op::end
◆
start
size_t
rewrite_op::start
◆
text
std::string rewrite_op::text
The documentation for this struct was generated from the following file:
src/clang-c-frontend/
nested_func_transform.cpp
rewrite_op
Generated by
1.15.0