From 0a8a505638399a7c4bea481c887f2cf207b211ff Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 3 Apr 2013 12:40:41 -0700 Subject: New MFS package. --- src/opt/sfm/sfmNtk.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/opt/sfm/sfmNtk.c b/src/opt/sfm/sfmNtk.c index 07a2e4ff..190fff00 100644 --- a/src/opt/sfm/sfmNtk.c +++ b/src/opt/sfm/sfmNtk.c @@ -96,13 +96,13 @@ Sfm_Ntk_t * Sfm_NtkAlloc( int nPis, int nPos, int nNodes, Vec_Int_t * vFanins, V assert( (nObjSize & 1) == 0 ); iOffset += nObjSize; } - assert( iOffSet <= nSize ); + assert( iOffset <= nSize ); assert( iFanOffset == Vec_IntSize(vEdges) ); iFanOffset = 0; Sfm_ManForEachObj( p, pObj, i ) { - assert( Vec_IntEntry(vFanins, i) == pObj->nFanis ); - assert( Vec_IntEntry(vFanouts, i) == pObj->nFanos ); + assert( Vec_IntEntry(vFanins, i) == (int)pObj->nFanis ); + assert( Vec_IntEntry(vFanouts, i) == (int)pObj->nFanos ); for ( k = 0; k < (int)pObj->nFanis; k++ ) assert( pObj->Fanio[k] == Vec_IntEntry(vEdges, iFanOffset++) ); } -- cgit v1.2.3