syz-verifier: log only the first mismatch (#3055)

Closes #3054
Ignore all the consequent failures in the program execution log.
Use only the first mismatch for analysis.

1 files changed, 4 insertions, 0 deletions

diff --git a/syz-verifier/verifier.go b/syz-verifier/verifier.go
index dce8a99c6..f7d7c7835 100644
--- a/syz-verifier/verifier.go
+++ b/syz-verifier/verifier.go
@@ -309,11 +309,14 @@ func (vrf *Verifier) finalizeCallSet(w io.Writer) {
 	}
 }
 
+// AddCallsExecutionStat ignore all the calls after the first mismatch.
 func (vrf *Verifier) AddCallsExecutionStat(results []*ExecResult, program *prog.Prog) {
 	rr := CompareResults(results, program)
 	for _, cr := range rr.Reports {
 		vrf.stats.Calls.IncCallOccurrenceCount(cr.Call)
+	}
 
+	for _, cr := range rr.Reports {
 		if !cr.Mismatch {
 			continue
 		}
@@ -324,6 +327,7 @@ func (vrf *Verifier) AddCallsExecutionStat(results []*ExecResult, program *prog.
 				vrf.stats.Calls.AddState(cr.Call, state0)
 			}
 		}
+		break
 	}
 }