diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-08-05 19:54:10 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-08-05 20:08:44 +0200 |
| commit | 39350d876d19ab0937511d969844fb9a559dfd8d (patch) | |
| tree | d1db1f4a595bb7b1184f3f1d59b6e69e2477c599 /executor | |
| parent | 2db4e4554b9e0e541685aa204113afb84ce0289a (diff) | |
manager: add a special VM type "none"
Type "none" in config says manager to not manage any VMs,
and just manage the corpus (it still server RPCs).
This is useful when something else manages the VMs
and starts fuzzer processes on them.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions