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);