From ef3ee4ad565e07708be5244643ac9adcba33ad28 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Mon, 10 Oct 2016 13:11:31 +0200 Subject: manager: minor tweaks to web ui --- syz-manager/html.go | 12 ++++++++---- 1 file 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(` ŜɎΖҚΑĻĹӖЯ
+
- + {{range $s := $.Stats}} @@ -445,7 +446,7 @@ var summaryTemplate = template.Must(template.New("").Parse(addStyle(`

Stats:
{{$s.Name}}

- + @@ -461,7 +462,7 @@ var summaryTemplate = template.Must(template.New("").Parse(addStyle(`

Crashes:
Description	Count

-Log: +Log:

 {{.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>
-- 
cgit mrf-deployment