diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-04 08:58:32 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-04 20:56:20 +0200 |
| commit | a4d38b39a8e23244bea7a53e9d7a759474f85dae (patch) | |
| tree | 6bdb1f795fc5b670c9d2bad96599820cdb1eea85 /prog/rand_test.go | |
| parent | 58ae5e18624eaaac79cab00e63d6f32c9bd64ee0 (diff) | |
prog: support disabled attribute
Update #477
Update #502
Diffstat (limited to 'prog/rand_test.go')
| -rw-r--r-- | prog/rand_test.go | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/prog/rand_test.go b/prog/rand_test.go index da0871505..960f9735f 100644 --- a/prog/rand_test.go +++ b/prog/rand_test.go @@ -31,13 +31,14 @@ func TestNotEscaping(t *testing.T) { func TestDeterminism(t *testing.T) { target, rs, iters := initTest(t) iters /= 10 // takes too long + ct := target.DefaultChoiceTable() var corpus []*Prog for i := 0; i < iters; i++ { seed := rs.Int63() rs1 := rand.NewSource(seed) - p1 := generateProg(t, target, rs1, corpus) + p1 := generateProg(t, target, rs1, ct, corpus) rs2 := rand.NewSource(seed) - p2 := generateProg(t, target, rs2, corpus) + p2 := generateProg(t, target, rs2, ct, corpus) ps1 := string(p1.Serialize()) ps2 := string(p2.Serialize()) r1 := rs1.Int63() @@ -49,9 +50,9 @@ func TestDeterminism(t *testing.T) { } } -func generateProg(t *testing.T, target *Target, rs rand.Source, corpus []*Prog) *Prog { - p := target.Generate(rs, 5, nil) - p.Mutate(rs, 10, nil, corpus) +func generateProg(t *testing.T, target *Target, rs rand.Source, ct *ChoiceTable, corpus []*Prog) *Prog { + p := target.Generate(rs, 5, ct) + p.Mutate(rs, 10, ct, corpus) for i, c := range p.Calls { comps := make(CompMap) for v := range extractValues(c) { |