From e83310d8a2b1bb6418d041c8e48aad4ae2a8ae81 Mon Sep 17 00:00:00 2001
From: Andrey Konovalov <andreyknvl@google.com>
Date: Wed, 5 Jul 2017 16:23:30 +0200
Subject: 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.
---
 executor/common.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'executor/common.h')

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)
-- 
cgit mrf-deployment