diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-03-16 20:01:39 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-03-18 09:17:51 +0100 |
| commit | 8d4d5838fe0a51500959c0c10f4040a1369043c2 (patch) | |
| tree | 7768c876498a4aa1f06f7f4df4881aaa8b63f117 /executor/executor.cc | |
| parent | c86aca3f01de03aaadc6ef5006846bbba1e5a154 (diff) | |
syz-manager: don't hold manager mutex while generting coverage report
Don't hold the mutex while creating report generator and generating the report,
these operations take lots of time.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions