diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 17:14:19 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 17:38:54 +0200 |
| commit | ad54dc7a6dd1fd2f2f106e59ff234f0a5d4686a2 (patch) | |
| tree | 220ae8f3c87be9dbfdf4bcdc534125ceab146d49 /docs/linux/setup.md | |
| parent | 01622de2d0ec3b6cc18aef5bcbd5e76dd634116e (diff) | |
syz-manager: cosmetic refactoring
1. Don't duplicate VM name generation.
2. Always "shutdown" fuzzers to not keep stale machine info.
Diffstat (limited to 'docs/linux/setup.md')
0 files changed, 0 insertions, 0 deletions