luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Assering valid fanins during MiniLUT construction.

This commit is contained in:
Alan Mishchenko 2019-06-28 14:23:26 +03:00
parent 0e78722419
commit 9acc242e6d
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/miniaig/minilut.h
View File

@ -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++ )