From 80d43738f1e4c648ccfc4599e17dc8ba455fe1ea Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Sat, 14 Mar 2020 16:42:00 +0100
Subject: 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
---
 prog/generation.go | 1 +
 1 file changed, 1 insertion(+)

(limited to 'prog/generation.go')

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
 }
-- 
cgit mrf-deployment