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: