From 9acc242e6d25506a0b0c92e594678ffde3b8dcfb Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 28 Jun 2019 14:23:26 +0300
Subject: Assering valid fanins during MiniLUT construction.

---
 src/aig/miniaig/minilut.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/miniaig')

diff --git a/src/aig/miniaig/minilut.h b/src/aig/miniaig/minilut.h
index fb5c6f06..b080c983 100644
--- a/src/aig/miniaig/minilut.h
+++ b/src/aig/miniaig/minilut.h
@@ -96,6 +96,8 @@ static void Mini_LutPush( Mini_Lut_t * p, int nVars, int * pVars, unsigned * pTr
         else
             Mini_LutGrow( p, 2 * p->nCap );
     }
+    for ( i = 0; i < nVars; i++ )
+        assert( pVars[i] >= 0 && pVars[i] < p->nSize );
     for ( i = 0; i < nVars; i++ )
         p->pArray[p->LutSize * p->nSize + i] = pVars[i];
     for ( ; i < p->LutSize; i++ )
-- 
cgit v1.2.3