|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/base/compiler_defs.h>#include <clang/Frontend/ASTUnit.h>#include <util/lang/c_link.h>#include <c2goto/cprover_library.h>#include <clang-cpp-frontend/clang_cpp_main.h>#include <clang-cpp-frontend/clang_cpp_adjust.h>#include <clang-cpp-frontend/clang_cpp_adjust_irep2.h>#include <util/irep/migrate.h>#include <set>#include <clang-cpp-frontend/clang_cpp_convert.h>#include <clang-cpp-frontend/clang_cpp_language.h>#include <util/lang/cpp_expr2string.h>#include <clang-cpp-frontend/esbmc_internal_cpp.h>#include <regex>#include <util/base/filesystem.h>#include <fstream>Functions | |
| languaget * | new_clang_cpp_language () |
| languaget * new_clang_cpp_language | ( | ) |