|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Attributes | |
| std::string | return_type |
| std::string | name |
| std::string | params_text |
| std::string | body_text |
| std::string | enclosing |
| size_t | def_start |
| size_t | def_end |
| bool | used_as_fptr |
| std::vector< local_var > | captures |
| std::string nested_func::body_text |
| std::vector<local_var> nested_func::captures |
| size_t nested_func::def_end |
| size_t nested_func::def_start |
| std::string nested_func::enclosing |
| std::string nested_func::name |
| std::string nested_func::params_text |
| std::string nested_func::return_type |
| bool nested_func::used_as_fptr |