Context.cpp File Reference
#include "Context.h"#include "klee/Expr/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
◆ Initialized
|
static |
Definition at line 21 of file Context.cpp.
Referenced by klee::Context::get(), and klee::Context::initialize().
◆ TheContext
|
static |
Definition at line 22 of file Context.cpp.
Referenced by klee::Context::get(), and klee::Context::initialize().
