diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-03-14 16:42:00 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-03-17 21:19:13 +0100 |
| commit | 80d43738f1e4c648ccfc4599e17dc8ba455fe1ea (patch) | |
| tree | a2adb84b67e9d760a35fee40ddf06d271f70bab1 /prog/generation.go | |
| parent | a2f9a446496d23c4bf6db95e0d4337583595c78c (diff) | |
prog: rename target.SanitizeCall to Neutralize
We will need a wrapper for target.SanitizeCall that will do more
than just calling the target-provided function. To avoid confusion
and potential mistakes, give the target function and prog function
different names. Prog package will continue to call this "sanitize",
which will include target's "neutralize" + more.
Also refactor API a bit: we need a helper function that sanitizes
the whole program because that's needed most of the time.
Fixes #477
Fixes #502
Diffstat (limited to 'prog/generation.go')
| -rw-r--r-- | prog/generation.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prog/generation.go b/prog/generation.go index 1ceda4820..037801b75 100644 --- a/prog/generation.go +++ b/prog/generation.go @@ -29,6 +29,7 @@ func (target *Target) Generate(rs rand.Source, ncalls int, ct *ChoiceTable) *Pro for len(p.Calls) > ncalls { p.removeCall(ncalls - 1) } + p.sanitizeFix() p.debugValidate() return p } |