syz-verifier: improve statistics (#3038)

s/TotalMismatches/TotalCallMismatches/ for readability.
Add ExecErrorProgs to count failures.

1 files changed, 14 insertions, 12 deletions

diff --git a/syz-verifier/monitoring_api.go b/syz-verifier/monitoring_api.go
index af852d02a..1c95f9d26 100644
--- a/syz-verifier/monitoring_api.go
+++ b/syz-verifier/monitoring_api.go
@@ -43,24 +43,26 @@ func (monitor *Monitor) initHTTPHandlers() {
 
 // statsJSON provides information for the "/api/stats.json" render.
 type statsJSON struct {
-	StartTime        time.Time
-	TotalMismatches  int64
-	TotalProgs       int64
-	FlakyProgs       int64
-	MismatchingProgs int64
-	AverExecSpeed    int64
+	StartTime           time.Time
+	TotalCallMismatches int64
+	TotalProgs          int64
+	ExecErrorProgs      int64
+	FlakyProgs          int64
+	MismatchingProgs    int64
+	AverExecSpeed       int64
 }
 
 // handleStats renders the statsJSON object.
 func (monitor *Monitor) renderStats() interface{} {
 	stats := monitor.externalStats
 	return &statsJSON{
-		StartTime:        stats.StartTime,
-		TotalMismatches:  stats.TotalMismatches,
-		TotalProgs:       stats.TotalProgs,
-		FlakyProgs:       stats.FlakyProgs,
-		MismatchingProgs: stats.MismatchingProgs,
-		AverExecSpeed:    60 * stats.TotalProgs / int64(1+time.Since(stats.StartTime).Seconds()),
+		StartTime:           stats.StartTime,
+		TotalCallMismatches: stats.TotalCallMismatches,
+		TotalProgs:          stats.TotalProgs,
+		ExecErrorProgs:      stats.ExecErrorProgs,
+		FlakyProgs:          stats.FlakyProgs,
+		MismatchingProgs:    stats.MismatchingProgs,
+		AverExecSpeed:       60 * stats.TotalProgs / int64(1+time.Since(stats.StartTime).Seconds()),
 	}
 }