diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-06-16 19:18:25 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2023-07-07 12:44:53 +0000 |
| commit | 668cb1fa42960ece96b7da8d9204e486ba6dcdf6 (patch) | |
| tree | 467082604e69b77c3cfb66f748f5834c345eab56 /tools | |
| parent | 67bc735728c6eccc908ac1819a2482d6872ef123 (diff) | |
pkg/kconfig: rewrite Minimize()
1) Use the generic bisection implementation in pkg/bisect. It adds the
support of identifying several necessary config diffs at once.
2) For now, limit the number of minimization iterations to 6. It's a
lengthy process and we don't want to spend too much time doing this.
3) Bisect over leaf configuration options -- that is, those no other
config depends upon. This should make diff split during bisection
more reliable.
4) Save all intermediate configs to the debug files folder.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/syz-minconfig/minconfig.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/syz-minconfig/minconfig.go b/tools/syz-minconfig/minconfig.go index 450968cff..3a4693d08 100644 --- a/tools/syz-minconfig/minconfig.go +++ b/tools/syz-minconfig/minconfig.go @@ -54,7 +54,7 @@ func main() { gt := &debugtracer.GenericTracer{ TraceWriter: os.Stdout, } - res, err := kconf.Minimize(base, full, pred, gt) + res, err := kconf.Minimize(base, full, pred, 0, gt) if err != nil { tool.Fail(err) } |