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 /syz-manager/stats.go | |
| 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 'syz-manager/stats.go')
| -rw-r--r-- | syz-manager/stats.go | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/syz-manager/stats.go b/syz-manager/stats.go index 8d265f984..6ac0db039 100644 --- a/syz-manager/stats.go +++ b/syz-manager/stats.go @@ -27,6 +27,7 @@ type Stats struct { hubRecvReproDrop Stat corpusCover Stat corpusSignal Stat + maxSignal Stat mu sync.Mutex namedStats map[string]uint64 @@ -44,6 +45,7 @@ func (stats *Stats) all() map[string]uint64 { "exec total": stats.execTotal.get(), "cover": stats.corpusCover.get(), "signal": stats.corpusSignal.get(), + "max signal": stats.maxSignal.get(), } if stats.haveHub { m["hub: send prog add"] = stats.hubSendProgAdd.get() |