diff options
author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-07-08 21:54:56 +0200 |
---|---|---|
committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-07-08 21:56:28 +0200 |
commit | 078eac2264f8d80961872f77c1925c997a60ef9b (patch) | |
tree | 7e1f3e2687fb02d06667f9c33e8a7cafb2002780 /lib/Core/Executor.h | |
parent | 784bbc141946e9c77849cbba13563fd8d0b27c0f (diff) | |
download | klee-078eac2264f8d80961872f77c1925c997a60ef9b.tar.gz |
Refactoring: Extract method to dump remaining states
Diffstat (limited to 'lib/Core/Executor.h')
-rw-r--r-- | lib/Core/Executor.h | 1 |
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); |