diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-14 16:24:09 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-17 11:39:14 +0100 |
| commit | 26eab5e866cc9f6a248e1ded38d09966aba1f1ac (patch) | |
| tree | 69a1924c591649f34db72223fda297dbe70413cf /executor/executor_windows.cc | |
| parent | 535474e22e1ecb3d0548fa22f3c420b7c08e0baa (diff) | |
syz-manager: speed up main page rendering
Remove unused calculation of total coverage.
Reduce critical section duration.
Diffstat (limited to 'executor/executor_windows.cc')
0 files changed, 0 insertions, 0 deletions