diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-19 13:17:24 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-20 14:56:20 +0100 |
| commit | 823604de7e37a64ddca1f3a9b5ac2d287eb2a774 (patch) | |
| tree | c06e57abf23b408d475fa62e9182d7f5dc121ffb /executor | |
| parent | c4f622fcb3a3d46a3802ec144eb60548629ef14e (diff) | |
syz-manager: track fuzzing time
Fuzzing time is amount of time we spent actually fuzzing.
It excludes VM creation time, crash reproducing time, etc.
On the other hand it is multipled by number of currently
fuzzing VMs, so it can be larger than uptime time.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions