From 8bbf94ce31b652c168de6ea784942b54ea09e80c Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Mon, 27 May 2024 14:23:08 +0200 Subject: prog: make minimization parameters explicit Add an explicit parameter to only run call removal. --- pkg/repro/repro.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkg/repro') diff --git a/pkg/repro/repro.go b/pkg/repro/repro.go index 68d67f11b..67fac3811 100644 --- a/pkg/repro/repro.go +++ b/pkg/repro/repro.go @@ -412,7 +412,7 @@ func (ctx *context) minimizeProg(res *Result) (*Result, error) { ctx.stats.MinimizeProgTime = time.Since(start) }() - res.Prog, _ = prog.Minimize(res.Prog, -1, true, + res.Prog, _ = prog.Minimize(res.Prog, -1, prog.MinimizeParams{Light: true}, func(p1 *prog.Prog, callIndex int) bool { crashed, err := ctx.testProg(p1, res.Duration, res.Opts) if err != nil { -- cgit mrf-deployment