diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-10-23 22:26:33 +0200 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-10-25 12:08:02 +0000 |
| commit | 500aee76e6243afdb6c953d37e5f1016f73a04cc (patch) | |
| tree | 7c09a594fcf5ffca8d3e4c6450a347099c443870 /syz-manager | |
| parent | 9a199dec544ca9f1560a7352d0d003cf9206d8c5 (diff) | |
pkg/manager: configure coverage filter generation strictness
In some cases, one might want to tolerate non-perfect filters.
Diffstat (limited to 'syz-manager')
| -rw-r--r-- | syz-manager/manager.go | 2 |
1 files changed, 1 insertions, 1 deletions
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) } |