diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-08-27 17:29:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-28 07:56:47 +0000 |
| commit | 9881ea45723f0f7bbc5876d48c32a7cca1fecaa3 (patch) | |
| tree | c6311149a7d225c12184c04c94d9fa659933429a /executor/_include/flatbuffers/grpc.h | |
| parent | 6c853ff934ae691d82d2ddf8d401fdd07ed4ab74 (diff) | |
executor: fix corner case of misinterpreting comparison data
Reset coverage right before scheduling next syscall for execution.
See the added comment for details.
Diffstat (limited to 'executor/_include/flatbuffers/grpc.h')
0 files changed, 0 insertions, 0 deletions