about summary refs log tree commit diff homepage
path: root/lib/Core/Executor.h
diff options
context:
space:
mode:
authorMartin Nowack <martin@se.inf.tu-dresden.de>2016-07-08 21:54:56 +0200
committerMartin Nowack <martin@se.inf.tu-dresden.de>2016-07-08 21:56:28 +0200
commit078eac2264f8d80961872f77c1925c997a60ef9b (patch)
tree7e1f3e2687fb02d06667f9c33e8a7cafb2002780 /lib/Core/Executor.h
parent784bbc141946e9c77849cbba13563fd8d0b27c0f (diff)
downloadklee-078eac2264f8d80961872f77c1925c997a60ef9b.tar.gz
Refactoring: Extract method to dump remaining states
Diffstat (limited to 'lib/Core/Executor.h')
-rw-r--r--lib/Core/Executor.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 600c7b90..99f5921b 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -412,6 +412,7 @@ private:
                      double maxInstTime);
   void checkMemoryUsage();
   void printDebugInstructions(ExecutionState &state);
+  void doDumpStates();
 
 public:
   Executor(const InterpreterOptions &opts, InterpreterHandler *ie);