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. --- prog/rand_test.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'prog/rand_test.go') diff --git a/prog/rand_test.go b/prog/rand_test.go index 00613d42a..53b8ea338 100644 --- a/prog/rand_test.go +++ b/prog/rand_test.go @@ -73,7 +73,7 @@ func generateProg(t *testing.T, target *Target, rs rand.Source, ct *ChoiceTable, }) } for _, crash := range []bool{false, true} { - p, _ = Minimize(p, -1, crash, func(*Prog, int) bool { + p, _ = Minimize(p, -1, MinimizeParams{Light: crash}, func(*Prog, int) bool { return rs.Int63()%10 == 0 }) } -- cgit mrf-deployment