Commit b1802e4f by Alan Mishchenko

Assertion failure in reading NDR.

parent c086edaa
...@@ -504,9 +504,10 @@ Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData ) ...@@ -504,9 +504,10 @@ Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData )
{ {
int iObj = Wlc_ObjId(pNtk, pObj); int iObj = Wlc_ObjId(pNtk, pObj);
int NameId = Wlc_ObjNameId(pNtk, iObj); int NameId = Wlc_ObjNameId(pNtk, iObj);
word Truth = Vec_WrdEntry(vTruths, NameId); word Truth;
if ( pObj->Type != WLC_OBJ_LUT || NameId == 0 ) if ( pObj->Type != WLC_OBJ_LUT || NameId == 0 )
continue; continue;
Truth = Vec_WrdEntry(vTruths, NameId);
assert( sizeof(void *) == 8 || Wlc_ObjFaninNum(pObj) < 6 ); assert( sizeof(void *) == 8 || Wlc_ObjFaninNum(pObj) < 6 );
Vec_WrdWriteEntry( pNtk->vLutTruths, iObj, Truth ); Vec_WrdWriteEntry( pNtk->vLutTruths, iObj, Truth );
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment