aboutsummaryrefslogtreecommitdiffstats
path: root/syz-verifier
diff options
context:
space:
mode:
authorTaras Madan <tarasmadan@google.com>2023-04-26 12:03:17 +0200
committerTaras Madan <tarasmadan@google.com>2023-04-27 09:43:17 +0200
commit6f5b1cc41e57e4928a50da00f9945b8a958dd2ce (patch)
treec1964742ed8f9fefdb94ca5feee3198108e55ca3 /syz-verifier
parent19a3dabee408a0ee1cf91faaefe1160b854edaea (diff)
syz-verifier/execresult_test.go: fix loop variable misuse
Diffstat (limited to 'syz-verifier')
-rw-r--r--syz-verifier/execresult_test.go30
1 files changed, 28 insertions, 2 deletions
diff --git a/syz-verifier/execresult_test.go b/syz-verifier/execresult_test.go
index bddd91042..2c024e0b0 100644
--- a/syz-verifier/execresult_test.go
+++ b/syz-verifier/execresult_test.go
@@ -81,7 +81,24 @@ func TestCompareResults(t *testing.T) {
makeExecResultCrashed(1),
makeExecResultCrashed(4),
},
- wantReport: nil,
+ wantReport: &ResultReport{
+ Prog: p,
+ Reports: []*CallReport{
+ {Call: "breaks_returns", States: map[int]ReturnState{
+ 1: crashedReturnState(),
+ 4: crashedReturnState()},
+ },
+ {Call: "minimize$0", States: map[int]ReturnState{
+ 1: crashedReturnState(),
+ 4: crashedReturnState()},
+ },
+ {Call: "test$res0", States: map[int]ReturnState{
+ 1: crashedReturnState(),
+ 4: crashedReturnState()},
+ },
+ },
+ Mismatch: false,
+ },
},
{
name: "mismatches because results and crashes",
@@ -117,7 +134,15 @@ func TestCompareResults(t *testing.T) {
res: []*ExecResult{
makeExecResult(2, []int{11, 33, 22}, []int{1, 3, 3}...),
makeExecResult(4, []int{11, 33, 22}, []int{1, 3, 3}...)},
- wantReport: nil,
+ wantReport: &ResultReport{
+ Prog: p,
+ Reports: []*CallReport{
+ {Call: "breaks_returns", States: map[int]ReturnState{2: {Errno: 11, Flags: 1}, 4: {Errno: 11, Flags: 1}}},
+ {Call: "minimize$0", States: map[int]ReturnState{2: {Errno: 33, Flags: 3}, 4: {Errno: 33, Flags: 3}}},
+ {Call: "test$res0", States: map[int]ReturnState{2: {Errno: 22, Flags: 3}, 4: {Errno: 22, Flags: 3}}},
+ },
+ Mismatch: false,
+ },
},
{
name: "mismatches found in results",
@@ -137,6 +162,7 @@ func TestCompareResults(t *testing.T) {
}}
for _, test := range tests {
+ test := test // TODO: remove for gover >= 1.22
t.Run(test.name, func(t *testing.T) {
target := prog.InitTargetTest(t, "test", "64")
prog, err := target.Deserialize([]byte(p), prog.Strict)