|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/symtab/context.h>#include <util/symtab/namespace.h>#include <util/irep/std_code.h>#include <util/irep/std_expr.h>#include <util/symtab/symbol_generator.h>Go to the source code of this file.
Classes | |
| class | clang_c_adjust |
| clang C adjuster class for: More... | |
Functions | |
| void | declare_argc_argv (contextt &context, const symbolt &main_symbol) |
| The argc'/argv'/envp' symbols clang_c_main looks up unconditionally when main takes arguments. | |