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.cpp | |
| 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.cpp')
0 files changed, 0 insertions, 0 deletions