|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <ld_ast.h>
Public Attributes | |
| CoilKind | kind = CoilKind::Output |
| std::string | variable |
| LdLocation | loc |
| CoilKind CoilNode::kind = CoilKind::Output |
| LdLocation CoilNode::loc |
| std::string CoilNode::variable |