diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-03 12:40:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-03 12:40:41 -0700 |
| commit | 0a8a505638399a7c4bea481c887f2cf207b211ff (patch) | |
| tree | 82e932e8fa0e11c489ed7d2b7ac3ea6f1d5ad2e7 | |
| parent | e4cf178041c482b32482b85fdf9badcd020947c3 (diff) | |
| download | abc-0a8a505638399a7c4bea481c887f2cf207b211ff.tar.gz abc-0a8a505638399a7c4bea481c887f2cf207b211ff.tar.bz2 abc-0a8a505638399a7c4bea481c887f2cf207b211ff.zip | |
New MFS package.
| -rw-r--r-- | src/opt/sfm/sfmNtk.c | 6 |
1 files changed, 3 insertions, 3 deletions
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++) ); } |