diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2019-05-31 12:23:58 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-10-29 15:38:02 -0400 |
| commit | f2c9085cab7efd4468ffe44190547445fe5b15fb (patch) | |
| tree | ab58746b8cdc51e1d57c097d137b3592ef5b42c2 /lib/Core/Executor.h | |
| parent | bcb0b67a5771b15105341d6ec1723db7ec1a4cc6 (diff) | |
| download | klee-f2c9085cab7efd4468ffe44190547445fe5b15fb.tar.gz | |
ExecutorTimers: remove signalling, fix endless looping fork
- adds -timer-interval threshold for timer checks - fixes #831
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 26f99b57..84231720 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -94,8 +94,8 @@ class Executor : public Interpreter { public: class Timer { public: - Timer(); - virtual ~Timer(); + Timer() = default; + virtual ~Timer() = default; /// The event callback. virtual void run() = 0; |