diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-22 09:59:09 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-07-22 09:38:18 +0000 |
| commit | f063dfd966f00f90fbae94d179f26cf36fea3f5b (patch) | |
| tree | 2e58f27f65a6f9d2dece091ddcef3a23d8cefbb0 /executor/_include/flatbuffers | |
| parent | 7538bc297d62e223e4216db0e039be296aff4553 (diff) | |
executor: fix writing of remote coverage
We never reset remote coverage, so if there is one block,
we will write it after every call and multiple times at the end.
It can lead to "too many calls in output" and just writes quadratic
amount of coverage/signal.
Reset remote coverage after writing.
Diffstat (limited to 'executor/_include/flatbuffers')
0 files changed, 0 insertions, 0 deletions