esbmc_internal_cpp.cpp File Reference

#include <clang-cpp-frontend/esbmc_internal_cpp.h>
#include <clang-c-frontend/AST/vfs_paths.h>
#include <util/base/filesystem.h>
#include <abstract_includes/cpp_includes.h>

Include dependency graph for esbmc_internal_cpp.cpp:

Macros
#define	ESBMC_FLAIL(body, size, ...)

Variables
static const std::string	vfs_prefix = clang_vfs_root() + "/cpp"

Macro Definition Documentation

ESBMC_FLAIL

#define ESBMC_FLAIL	(		body,
			size,
			... )

Value:

  file_operations::filesystemt::get().add_bundled(                             \
    vfs_prefix + "/" #__VA_ARGS__, body, size);

Variable Documentation

vfs_prefix

const std::string vfs_prefix = clang_vfs_root() + "/cpp"

static