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