From 500aee76e6243afdb6c953d37e5f1016f73a04cc Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Wed, 23 Oct 2024 22:26:33 +0200 Subject: pkg/manager: configure coverage filter generation strictness In some cases, one might want to tolerate non-perfect filters. --- syz-manager/manager.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'syz-manager') diff --git a/syz-manager/manager.go b/syz-manager/manager.go index eeab0a290..96164af63 100644 --- a/syz-manager/manager.go +++ b/syz-manager/manager.go @@ -1327,7 +1327,7 @@ func (mgr *Manager) dashboardReproTasks() { func (mgr *Manager) CoverageFilter(modules []*vminfo.KernelModule) []uint64 { mgr.reportGenerator.Init(modules) - filters, err := manager.PrepareCoverageFilters(mgr.reportGenerator, mgr.cfg) + filters, err := manager.PrepareCoverageFilters(mgr.reportGenerator, mgr.cfg, true) if err != nil { log.Fatalf("failed to init coverage filter: %v", err) } -- cgit mrf-deployment