diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-08-01 19:45:15 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-08-02 16:57:31 +0200 |
| commit | 1da82ae0f070bbed7300a8e9462abeeb0cf3c344 (patch) | |
| tree | e42ef3d6c468255729aadb06e27fb0c024054525 /prog/generation.go | |
| parent | c8643744fe4be55e516f7ba494777016abc1055e (diff) | |
prog: introduce debugValidate
Move debug validation into a separate function.
Update #538
Diffstat (limited to 'prog/generation.go')
| -rw-r--r-- | prog/generation.go | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/prog/generation.go b/prog/generation.go index 860924031..df31f0271 100644 --- a/prog/generation.go +++ b/prog/generation.go @@ -22,10 +22,6 @@ func (target *Target) Generate(rs rand.Source, ncalls int, ct *ChoiceTable) *Pro p.Calls = append(p.Calls, c) } } - if debug { - if err := p.validate(); err != nil { - panic(err) - } - } + p.debugValidate() return p } |