diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 11:49:30 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 11:49:30 -0800 |
| commit | a28dd33df07b9b4932cf32855005f4cdc68316c9 (patch) | |
| tree | 00bae804c57f44056dfc3bbb9e01b045d95719e8 /src/aig/gia/giaTim.c | |
| parent | 5a10c8ad01b62a6760e4cf8720800acb1fab8554 (diff) | |
| download | abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.tar.gz abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.tar.bz2 abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.zip | |
Integrating mfs2 package to work with boxes.
Diffstat (limited to 'src/aig/gia/giaTim.c')
| -rw-r--r-- | src/aig/gia/giaTim.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c index c9d55ffc..1d5a2f36 100644 --- a/src/aig/gia/giaTim.c +++ b/src/aig/gia/giaTim.c @@ -660,13 +660,10 @@ Gia_Man_t * Gia_ManUpdateExtraAig2( void * pTime, Gia_Man_t * p, Vec_Int_t * vBo Gia_Man_t * pNew; Tim_Man_t * pManTime = (Tim_Man_t *)pTime; int nRealPis = Tim_ManPiNum(pManTime); - Vec_Int_t * vOutsLeft; + Vec_Int_t * vOutsLeft = Vec_IntAlloc( 100 ); int i, k, iBox, iOutFirst; - if ( Vec_IntSize(vBoxesLeft) == Tim_ManBoxNum(pManTime) ) - return Gia_ManDup( p ); - assert( Vec_IntSize(vBoxesLeft) < Tim_ManBoxNum(pManTime) ); + assert( Vec_IntSize(vBoxesLeft) <= Tim_ManBoxNum(pManTime) ); assert( Gia_ManCoNum(p) == Tim_ManCiNum(pManTime) - nRealPis ); - vOutsLeft = Vec_IntAlloc( 100 ); Vec_IntForEachEntry( vBoxesLeft, iBox, i ) { iOutFirst = Tim_ManBoxOutputFirst(pManTime, iBox) - nRealPis; |