diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-01 14:26:05 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-02 13:16:51 +0000 |
| commit | 66fcb0a84fcd55ad8e1444cdd0bc0ad6592f7329 (patch) | |
| tree | 998e52d5569938e0251da1eb7c54c3746186b488 /executor/executor_runner.h | |
| parent | 1e9c4cf3ae82ef82220af312606fffe65e124563 (diff) | |
pkg/fuzzer: try to triage on different VMs
Distribute triage requests to different VMs.
Diffstat (limited to 'executor/executor_runner.h')
| -rw-r--r-- | executor/executor_runner.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/executor/executor_runner.h b/executor/executor_runner.h index 96fcc9b44..5229fa1a7 100644 --- a/executor/executor_runner.h +++ b/executor/executor_runner.h @@ -55,6 +55,8 @@ public: { if (state_ != State::Started && state_ != State::Idle) return false; + if (msg.avoid & (1ull << id_)) + return false; if (msg_) fail("already have pending msg"); if (wait_start_) |