diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/executor/common.h b/executor/common.h index 9e6545926..1b9afd074 100644 --- a/executor/common.h +++ b/executor/common.h @@ -21,6 +21,10 @@ #include <stdlib.h> #include <string.h> +#if SYZ_TRACE +#include <errno.h> +#endif + #if SYZ_EXECUTOR && !GOOS_linux #include <unistd.h> NORETURN void doexit(int status) @@ -396,6 +400,9 @@ static void loop() if (write(1, "executing program\n", sizeof("executing program\n") - 1)) { } #endif +#if SYZ_TRACE + printf("### start\n"); +#endif int call, thread; #if SYZ_COLLIDE int collide = 0; @@ -470,7 +477,11 @@ static void loop() fail("pipe failed"); #endif int iter; +#if SYZ_REPEAT_TIMES + for (iter = 0; iter < [[REPEAT_TIMES]]; iter++) { +#else for (iter = 0;; iter++) { +#endif #if SYZ_EXECUTOR || SYZ_USE_TMP_DIR // Create a new private work dir for this test (removed at the end of the loop). char cwdbuf[32]; |