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: