diff options
Diffstat (limited to 'prog/minimization.go')
| -rw-r--r-- | prog/minimization.go | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/prog/minimization.go b/prog/minimization.go index 021d8e2ea..35cff7976 100644 --- a/prog/minimization.go +++ b/prog/minimization.go @@ -16,11 +16,7 @@ func Minimize(p0 *Prog, callIndex0 int, crash bool, pred0 func(*Prog, int) bool) for _, call := range p.Calls { p.Target.SanitizeCall(call) } - if debug { - if err := p.validate(); err != nil { - panic(err) - } - } + p.debugValidate() return pred0(p, callIndex) } name0 := "" |