diff options
| author | Taras Madan <tarasmadan@google.com> | 2024-12-12 15:35:24 +0100 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-12-12 15:52:20 +0000 |
| commit | 4ea1fe6aae47bcfc828797d283ecbc755682e7c9 (patch) | |
| tree | 3569552ec09ef36f3c8cece37521f18b60f394df /executor/_include/flatbuffers/buffer.h | |
| parent | 5388eec6a1e6628f5ba367193f4131e82074ab3b (diff) | |
tools/syz-covermerger: more logs
I don't see any visible problems but the records in DB are not created.
Let's report the amount of records created at the end of the batch step.
+log the names of the managers
Diffstat (limited to 'executor/_include/flatbuffers/buffer.h')
0 files changed, 0 insertions, 0 deletions