syz-verifier: move all files to main package

1 files changed, 83 insertions, 0 deletions

diff --git a/syz-verifier/stats_test.go b/syz-verifier/stats_test.go
new file mode 100644
index 000000000..452b10876
--- /dev/null
+++ b/syz-verifier/stats_test.go
@@ -0,0 +1,83 @@
+// Copyright 2021 syzkaller project authors. All rights reserved.
+// Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
+package main
+
+import (
+	"bytes"
+	"testing"
+
+	"github.com/google/go-cmp/cmp"
+)
+
+func dummyStats() *Stats {
+	return &Stats{
+		Progs:           24,
+		TotalMismatches: 10,
+		Calls: map[string]*CallStats{
+			"foo": {"foo", 2, 8, map[int]bool{1: true, 3: true}},
+			"bar": {"bar", 5, 6, map[int]bool{10: true, 22: true}},
+			"tar": {"tar", 3, 4, map[int]bool{5: true, 17: true, 31: true}},
+			"biz": {"biz", 0, 2, map[int]bool{}},
+		},
+	}
+}
+
+func TestReportCallStats(t *testing.T) {
+	tests := []struct {
+		name, call, report string
+	}{
+		{
+			name:   "report for unsupported call",
+			call:   "read",
+			report: "",
+		},
+		{
+			name: "report for supported call",
+			call: "foo",
+			report: "statistics for foo:\n" +
+				"\t↳ mismatches of foo / occurrences of foo: 2 / 8 (25.00 %)\n" +
+				"\t↳ mismatches of foo / total number of mismatches: 2 / 10 (20.00 %)\n" +
+				"\t↳ 2 distinct states identified: " +
+				"[1 (operation not permitted) 3 (no such process)]\n",
+		},
+	}
+
+	for _, test := range tests {
+		s := dummyStats()
+		t.Run(test.name, func(t *testing.T) {
+			got, want := s.ReportCallStats(test.call), test.report
+			if diff := cmp.Diff(want, got); diff != "" {
+				t.Errorf("s.ReportCallStats mismatch (-want +got):\n%s", diff)
+			}
+		})
+	}
+}
+
+func TestReportGlobalStats(t *testing.T) {
+	s := dummyStats()
+	out := bytes.Buffer{}
+	s.ReportGlobalStats(&out, float64(10))
+	got, want := out.String(),
+		"total number of mismatches / total number of calls "+
+			"executed: 10 / 20 (50.00 %)\n\n"+
+			"programs / minute: 2.40\n\n"+
+			"statistics for bar:\n"+
+			"\t↳ mismatches of bar / occurrences of bar: 5 / 6 (83.33 %)\n"+
+			"\t↳ mismatches of bar / total number of mismatches: 5 / 10 (50.00 %)\n"+
+			"\t↳ 2 distinct states identified: "+
+			"[10 (no child processes) 22 (invalid argument)]\n\n"+
+			"statistics for tar:\n"+
+			"\t↳ mismatches of tar / occurrences of tar: 3 / 4 (75.00 %)\n"+
+			"\t↳ mismatches of tar / total number of mismatches: 3 / 10 (30.00 %)\n"+
+			"\t↳ 3 distinct states identified: "+
+			"[5 (input/output error) 17 (file exists) 31 (too many links)]\n\n"+
+			"statistics for foo:\n"+
+			"\t↳ mismatches of foo / occurrences of foo: 2 / 8 (25.00 %)\n"+
+			"\t↳ mismatches of foo / total number of mismatches: 2 / 10 (20.00 %)\n"+
+			"\t↳ 2 distinct states identified: "+
+			"[1 (operation not permitted) 3 (no such process)]\n\n"
+
+	if diff := cmp.Diff(want, got); diff != "" {
+		t.Errorf("s.ReportGlobalStats mismatch (-want +got):\n%s", diff)
+	}
+}