diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-08-31 17:52:35 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-08-31 19:20:27 +0200 |
| commit | 54d923bb5da4f936ae53cceaf2c3e72c428bce10 (patch) | |
| tree | d6df2bc64155a2661e91b802e34639938bf51ae9 | |
| parent | 365791764bd20256489bf7127daca27134a25cc5 (diff) | |
manager: mark covered lines with /*covered*/
Mark covered lines with /*covered*/ in coverage report,
so that it is possible to quickly find if there are few of them.
| -rw-r--r-- | syz-manager/cover.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/syz-manager/cover.go b/syz-manager/cover.go index 808b51690..37107e89b 100644 --- a/syz-manager/cover.go +++ b/syz-manager/cover.go @@ -43,7 +43,7 @@ func generateCoverHtml(w io.Writer, vmlinux string, cov []uint32) error { if len(covered) > 0 && covered[0] == i+1 { buf.Write([]byte("<span id='covered'>")) buf.Write(ln) - buf.Write([]byte("</span>\n")) + buf.Write([]byte("</span> /*covered*/\n")) covered = covered[1:] } else { buf.Write(ln) |