diff options
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common.h | 3 | ||||
| -rw-r--r-- | executor/executor.cc | 1 |
2 files changed, 3 insertions, 1 deletions
diff --git a/executor/common.h b/executor/common.h index db2e1204e..642b23102 100644 --- a/executor/common.h +++ b/executor/common.h @@ -479,7 +479,7 @@ again: if (collide && (call % 2) == 0) break; #endif - event_timedwait(&th->done, 45); + event_timedwait(&th->done, /*CALL_TIMEOUT*/); break; } } @@ -619,6 +619,7 @@ static void loop(void) executed_calls = now_executed; last_executed = now; } + // TODO: adjust timeout for progs with syz_usb_connect call. if ((now - start < 5 * 1000) && (now - start < 3 * 1000 || now - last_executed < 1000)) continue; #else diff --git a/executor/executor.cc b/executor/executor.cc index 4dfe9490f..df38de3b9 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -593,6 +593,7 @@ retry: if (call_num == instr_eof) break; int call_extra_timeout = 0; + // Must match timeouts in pkg/csource/csource.go. if (strcmp(syscalls[call_num].name, "syz_usb_connect") == 0) { collect_extra_cover = true; prog_extra_timeout = 2000; |