From 1da82ae0f070bbed7300a8e9462abeeb0cf3c344 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Wed, 1 Aug 2018 19:45:15 +0200
Subject: prog: introduce debugValidate

Move debug validation into a separate function.

Update #538
---
 prog/minimization.go | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'prog/minimization.go')

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 := ""
-- 
cgit mrf-deployment