diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-09-29 15:27:13 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-09-29 15:27:13 +0200 |
| commit | e73ddfcb3ac418fc690b982f70da15b898096fa5 (patch) | |
| tree | b43de81713a5f00642b9384a391fd7e66794b42b /sys | |
| parent | 93b629129799c4fd3fb520929f30a9d4f444156b (diff) | |
vm/adb: reboot devices in the beginning of each cycle
Issue #70 reports that a device can be permanently OOM,
if we don't reboot it new fuzzers will be always killed.
And it's generally safer to assume that a device is in
some bad shape initially. So always reboot them on start.
Fixes #70
Diffstat (limited to 'sys')
0 files changed, 0 insertions, 0 deletions