diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-23 15:30:39 +0100 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2016-02-27 10:22:32 +0100 |
| commit | b9b40354336dfac0847041119f64c8d11db8b5e3 (patch) | |
| tree | f93583c2065af369a23fa386d80b06e83f9060e2 /lib/Core/Executor.h | |
| parent | c813f1464ce8ad98d45a6a132499247251e15d96 (diff) | |
| download | klee-b9b40354336dfac0847041119f64c8d11db8b5e3.tar.gz | |
Refactoring: Extract checking memory limit into own function
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 919d2124..8bfa278a 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -399,7 +399,8 @@ private: void initTimers(); void processTimers(ExecutionState *current, double maxInstTime); - + void checkMemoryUsage(); + public: Executor(const InterpreterOptions &opts, InterpreterHandler *ie); virtual ~Executor(); |