diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-17 11:48:54 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-17 17:14:11 +0100 |
| commit | 0e2608c229b8634d226378821b75aa51925745a1 (patch) | |
| tree | 5c5fda0bf2078c2a3d74cc01afa9716f63bf9089 /executor/executor.cc | |
| parent | 3b74730dc9c8f2913a947ee5ab4c9e69251a67c0 (diff) | |
syz-manager: speed up coverage report
Uncovered PCs were handled very badly:
we added PCs from the same function multiple times
and did not remove covered PCs. As the result total
number of uncovered PCs was terrific.
Fix that.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions