|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <ld_ast.h>
Public Attributes | |
| std::string | name |
| VarKind | kind = VarKind::BOOL |
| bool | is_input = false |
| bool | is_output = false |
| bool | shared = false |
| bool | synthesized |
| std::string | derived_type |
| long long | init_value = 0 |
| LdLocation | loc |
| std::string VarDecl::derived_type |
| long long VarDecl::init_value = 0 |
| VarKind VarDecl::kind = VarKind::BOOL |
| LdLocation VarDecl::loc |
| std::string VarDecl::name |
| bool VarDecl::synthesized |