|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/lang/c_expr2string.h>#include <algorithm>#include <cctype>#include <unordered_set>#include <util/expr/base_type.h>#include <util/lang/c_link.h>#include <util/symtab/fix_symbol.h>#include <util/base/i2string.h>#include <util/irep/location.h>#include <util/message/format.h>#include <util/symtab/namespace.h>#include <util/lang/typecheck.h>Functions | |
| bool | c_link (contextt &context, contextt &new_context, const std::string &module) |