diff options
| author | Daimeng Wang <dwang030@ucr.edu> | 2020-05-28 16:13:23 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-30 08:04:19 +0200 |
| commit | f7fbb18cba5a83d16ab7d977849e3b6003cf981d (patch) | |
| tree | f50d97877ed0e2c96f635c0a39ea5e93442413b3 /CONTRIBUTORS | |
| parent | 954bd312f9108e0f4583e8a71c874abc5e8916c8 (diff) | |
syz-manager: add detailed coverage logging
Originally, syz-manager confusingly logs corpusSignal as "cover".
Change syz-manager's logging to output corpusSignal, corpusCover
and maxSignal.
Add a field in Stats to store maxSignal.
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index a1e8a1f3f..544c2a148 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -58,3 +58,4 @@ Christoph Paasch Collabora André Almeida Dipanjan Das +Daimeng Wang |