aboutsummaryrefslogtreecommitdiffstats
path: root/pkg/repro
diff options
context:
space:
mode:
authorAleksandr Nogikh <nogikh@google.com>2024-05-27 14:23:08 +0200
committerAleksandr Nogikh <nogikh@google.com>2024-05-27 13:05:20 +0000
commit8bbf94ce31b652c168de6ea784942b54ea09e80c (patch)
tree55bb8625c738e8b917384334437a5cd83b8247b1 /pkg/repro
parent3eba45d51db7adab6fb1d3c7e71d699ca6bea4b3 (diff)
prog: make minimization parameters explicit
Add an explicit parameter to only run call removal.
Diffstat (limited to 'pkg/repro')
-rw-r--r--pkg/repro/repro.go2
1 files changed, 1 insertions, 1 deletions
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 {