klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Context.cpp File Reference
#include "Context.h"
#include "klee/Expr.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/DerivedTypes.h"
#include <cassert>
Include dependency graph for Context.cpp:

Go to the source code of this file.

Variables

static bool Initialized = false
 
static Context TheContext
 

Variable Documentation

bool Initialized = false
static

Definition at line 26 of file Context.cpp.

Referenced by klee::Context::get(), and klee::Context::initialize().

Context TheContext
static

Definition at line 27 of file Context.cpp.

Referenced by klee::Context::get(), and klee::Context::initialize().