diff options
| author | Veronica Radu <veronicaradu@google.com> | 2019-09-10 11:39:54 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-09-23 15:35:26 +0200 |
| commit | 1e9788a0d9bd8fca36978810fd3fc50b6c4f060b (patch) | |
| tree | a74f499ed8ffbb4b92121c34f4fd58a6dfb895f8 /prog/generation.go | |
| parent | 8491e03fb279f9bf4f3f8678318b4e602355fa84 (diff) | |
prog: add insertionPoint param in generateCall func
Diffstat (limited to 'prog/generation.go')
| -rw-r--r-- | prog/generation.go | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prog/generation.go b/prog/generation.go index dcb8dc2ac..85d1bbb02 100644 --- a/prog/generation.go +++ b/prog/generation.go @@ -16,7 +16,7 @@ func (target *Target) Generate(rs rand.Source, ncalls int, ct *ChoiceTable) *Pro r := newRand(target, rs) s := newState(target, ct, nil) for len(p.Calls) < ncalls { - calls := r.generateCall(s, p) + calls := r.generateCall(s, p, len(p.Calls)) for _, c := range calls { s.analyze(c) p.Calls = append(p.Calls, c) |