diff options
| author | Andrey Konovalov <andreyknvl@google.com> | 2017-07-05 16:23:30 +0200 |
|---|---|---|
| committer | Andrey Konovalov <andreyknvl@google.com> | 2017-07-24 14:22:54 +0200 |
| commit | e83310d8a2b1bb6418d041c8e48aad4ae2a8ae81 (patch) | |
| tree | 592bfb4f06afad627a92397caaed3c348b66661f /executor/common.h | |
| parent | 65a2d5fb58431828105bc0be91acb631c8d1097d (diff) | |
pkg/csource: make all usleeps random
We can't know the exact values of those sleeps in advance, they can be
different for different bugs. Making them random increases the chance that
the C repro executes with the right timings at some point.
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/executor/common.h b/executor/common.h index e1cc3385e..b087978a5 100644 --- a/executor/common.h +++ b/executor/common.h @@ -13,8 +13,6 @@ #include <unistd.h> #if defined(SYZ_EXECUTOR) || defined(SYZ_THREADED) || defined(SYZ_COLLIDE) #include <pthread.h> -#endif -#if defined(SYZ_EXECUTOR) || defined(SYZ_COLLIDE) #include <stdlib.h> #endif #if defined(SYZ_EXECUTOR) || defined(SYZ_HANDLE_SEGV) |