diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-11-27 12:35:44 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-11-27 12:35:44 +0000 |
| commit | 16f7cfa06d9cd98e0451743bbe47c845ef240bfb (patch) | |
| tree | 326e6dff5c0452cde3cc7f32c57f01781250cb2e /lib/Support | |
| parent | ae29e8bbcf7b8c5177daab9050fcd62cfb338115 (diff) | |
| download | klee-16f7cfa06d9cd98e0451743bbe47c845ef240bfb.tar.gz | |
Patch by Seungbeom Kim: "Interrupting KLEE's execution while a
watchdog is in effect kills the watchdog immediately, giving the user a shell prompt prematurely while the child process is still running. This patch keeps the watchdog running until the child is finished. I see no need to be able to kill the watchdog forcefully, as long as the child process can be killed forcefully with two interrupts." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168696 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Support')
0 files changed, 0 insertions, 0 deletions