diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2019-07-30 14:17:17 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-15 16:26:20 +0100 |
| commit | 8a531bf8f276274b146dbb245293b06d31dfaef4 (patch) | |
| tree | b2376ac5f636e583c018f5368091a64a688b03d3 /lib/Core/Executor.h | |
| parent | ae521364b55dc4e47dc9248cdc6035e7bfa3070e (diff) | |
| download | klee-8a531bf8f276274b146dbb245293b06d31dfaef4.tar.gz | |
ExecutorTimers: move dumpStates/dumpPTree into Executor
* creates two new methods: dumpStates, dumpPTree
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index e2aab56c..851a52ec 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -479,6 +479,10 @@ private: void printDebugInstructions(ExecutionState &state); void doDumpStates(); + /// Only for debug purposes; enable via debugger or klee-control + void dumpStates(); + void dumpPTree(); + public: Executor(llvm::LLVMContext &ctx, const InterpreterOptions &opts, InterpreterHandler *ie); |