syz-manager: information about probability-only inputs in db

1 files changed, 6 insertions, 1 deletions

diff --git a/syz-manager/manager.go b/syz-manager/manager.go
index ed985c2fc..77ad2a127 100644
--- a/syz-manager/manager.go
+++ b/syz-manager/manager.go
@@ -411,6 +411,7 @@ func (mgr *Manager) heartbeatLoop() {
 		for _, stat := range stat.Collect(stat.Console) {
 			fmt.Fprintf(buf, "%v=%v ", stat.Name, stat.Value)
 		}
+		fmt.Fprintf(buf, "%v=%v ", "lastMinCorpus", mgr.lastMinCorpus)
 		log.Logf(0, "%s", buf.String())
 	}
 }
@@ -993,8 +994,12 @@ func (mgr *Manager) corpusInputHandler(updates <-chan corpus.NewItemEvent) {
 			// We only save new progs into the corpus.db file.
 			continue
 		}
+		var seq uint64 = 0
+		if update.ProbOnly {
+			seq = db.SeqProb
+		}
 		mgr.corpusDBMu.Lock()
-		mgr.corpusDB.Save(update.Sig, update.ProgData, 0)
+		mgr.corpusDB.Save(update.Sig, update.ProgData, seq)
 		if err := mgr.corpusDB.Flush(); err != nil {
 			log.Errorf("failed to save corpus database: %v", err)
 		}