diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-10-10 13:11:31 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-10-10 13:11:31 +0200 |
| commit | ef3ee4ad565e07708be5244643ac9adcba33ad28 (patch) | |
| tree | 18a7c930ef16eaa62e2e0099fa0a4c7ec3ff0a9b | |
| parent | 6796d65400e9ddf6f27299034e60851a94247537 (diff) | |
manager: minor tweaks to web ui
| -rw-r--r-- | syz-manager/html.go | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/syz-manager/html.go b/syz-manager/html.go index dece5a42f..884956453 100644 --- a/syz-manager/html.go +++ b/syz-manager/html.go @@ -428,9 +428,10 @@ var summaryTemplate = template.Must(template.New("").Parse(addStyle(` <body> <b>ŜɎΖҚΑĻĹӖЯ</b> <br> +<br> <table> - <caption>Stats:</caption> + <caption><b>Stats:</b></caption> {{range $s := $.Stats}} <tr> <td>{{$s.Name}}</td> @@ -445,7 +446,7 @@ var summaryTemplate = template.Must(template.New("").Parse(addStyle(` <br> <table> - <caption>Crashes:</caption> + <caption><b>Crashes:</b></caption> <tr> <th>Description</th> <th>Count</th> @@ -461,7 +462,7 @@ var summaryTemplate = template.Must(template.New("").Parse(addStyle(` </table> <br> -Log: +<b>Log:</b> <br> <textarea id="log_textarea" readonly rows="50"> {{.Log}} @@ -471,7 +472,9 @@ Log: textarea.scrollTop = textarea.scrollHeight; </script> <br> +<br> +<b>Per-call coverage:</b> {{range $c := $.Calls}} {{$c.Name}} <a href='/corpus?call={{$c.Name}}'>inputs:{{$c.Inputs}}</a> @@ -490,8 +493,9 @@ var crashTemplate = template.Must(template.New("").Parse(addStyle(` {{STYLE}} </head> <body> +<b>{{.Description}}</b> +<br> <table> - <caption>{{.Description}}</caption> {{range $c := $.Crashes}} <tr> <td><span title="{{$c.Time}}">#{{$c.Index}}</span></td> |