aboutsummaryrefslogtreecommitdiffstats
path: root/prog/minimization_test.go
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 /prog/minimization_test.go
parent3eba45d51db7adab6fb1d3c7e71d699ca6bea4b3 (diff)
prog: make minimization parameters explicit
Add an explicit parameter to only run call removal.
Diffstat (limited to 'prog/minimization_test.go')
-rw-r--r--prog/minimization_test.go6
1 files changed, 3 insertions, 3 deletions
diff --git a/prog/minimization_test.go b/prog/minimization_test.go
index 9b7652908..e0736206a 100644
--- a/prog/minimization_test.go
+++ b/prog/minimization_test.go
@@ -251,7 +251,7 @@ func TestMinimize(t *testing.T) {
if err != nil {
t.Fatalf("failed to deserialize original program #%v: %v", ti, err)
}
- p1, ci := Minimize(p, test.callIndex, false, test.pred)
+ p1, ci := Minimize(p, test.callIndex, MinimizeParams{}, test.pred)
res := p1.Serialize()
if string(res) != test.result {
t.Fatalf("minimization produced wrong result #%v\norig:\n%v\nexpect:\n%v\ngot:\n%v",
@@ -273,7 +273,7 @@ func TestMinimizeRandom(t *testing.T) {
for _, crash := range []bool{false, true} {
p := target.Generate(rs, 5, ct)
copyP := p.Clone()
- minP, _ := Minimize(p, len(p.Calls)-1, crash, func(p1 *Prog, callIndex int) bool {
+ minP, _ := Minimize(p, len(p.Calls)-1, MinimizeParams{Light: crash}, func(p1 *Prog, callIndex int) bool {
if r.Intn(2) == 0 {
return false
}
@@ -296,7 +296,7 @@ func TestMinimizeCallIndex(t *testing.T) {
for i := 0; i < iters; i++ {
p := target.Generate(rs, 5, ct)
ci := r.Intn(len(p.Calls))
- p1, ci1 := Minimize(p, ci, r.Intn(2) == 0, func(p1 *Prog, callIndex int) bool {
+ p1, ci1 := Minimize(p, ci, MinimizeParams{Light: r.Intn(2) == 0}, func(p1 *Prog, callIndex int) bool {
return r.Intn(2) == 0
})
if ci1 < 0 || ci1 >= len(p1.Calls) || p.Calls[ci].Meta.Name != p1.Calls[ci1].Meta.Name {