From 668cb1fa42960ece96b7da8d9204e486ba6dcdf6 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Fri, 16 Jun 2023 19:18:25 +0200 Subject: 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. --- tools/syz-minconfig/minconfig.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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) } -- cgit mrf-deployment