|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/base/compiler_defs.h>#include <clang/AST/Attr.h>#include <clang/AST/DeclCXX.h>#include <clang/AST/DeclFriend.h>#include <clang/AST/DeclTemplate.h>#include <clang/AST/Expr.h>#include <clang/AST/ExprCXX.h>#include <clang/AST/QualTypeNames.h>#include <clang/AST/Type.h>#include <clang/Index/USRGeneration.h>#include <clang/Frontend/ASTUnit.h>#include <clang/AST/ParentMapContext.h>#include <llvm/Support/raw_os_ostream.h>#include <clang-cpp-frontend/clang_cpp_convert.h>#include <util/expr/expr_util.h>