diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 14:23:08 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-05-27 13:05:20 +0000 |
| commit | 8bbf94ce31b652c168de6ea784942b54ea09e80c (patch) | |
| tree | 55bb8625c738e8b917384334437a5cd83b8247b1 /prog/rand_test.go | |
| parent | 3eba45d51db7adab6fb1d3c7e71d699ca6bea4b3 (diff) | |
prog: make minimization parameters explicit
Add an explicit parameter to only run call removal.
Diffstat (limited to 'prog/rand_test.go')
| -rw-r--r-- | prog/rand_test.go | 2 |
1 files changed, 1 insertions, 1 deletions
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 }) } |