diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-29 15:48:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-29 15:48:45 -0700 |
| commit | 9eb1be8e537d7826d3bd09d173b7578baa7ec2a3 (patch) | |
| tree | a3ca013a1107cff1c1ebbc9c35e4ed8605c0b447 | |
| parent | 38494b41a6298d707858e80ad5d2549230824970 (diff) | |
| download | abc-9eb1be8e537d7826d3bd09d173b7578baa7ec2a3.tar.gz abc-9eb1be8e537d7826d3bd09d173b7578baa7ec2a3.tar.bz2 abc-9eb1be8e537d7826d3bd09d173b7578baa7ec2a3.zip | |
Bug fix in 'addbuffs'.
| -rw-r--r-- | src/base/abc/abcUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index eec7c50d..abd8c812 100644 --- a/src/base/abc/abcUtil.c +++ b/src/base/abc/abcUtil.c @@ -2038,10 +2038,10 @@ Abc_Ntk_t * Abc_NtkAddBuffs( Abc_Ntk_t * pNtkInit, int fVerbose ) int i, k, nLevelMax = Abc_NtkLevel( pNtk ); Abc_NtkForEachCo( pNtk, pObj, i ) pObj->Level = nLevelMax + 1; - vBuffs = Vec_PtrStart( Abc_NtkObjNumMax(pNtk) * nLevelMax ); + vBuffs = Vec_PtrStart( Abc_NtkObjNumMax(pNtk) * (nLevelMax + 1) ); Abc_NtkForEachObj( pNtk, pObj, i ) { - if ( i == Vec_PtrSize(vBuffs) / nLevelMax ) + if ( i == Vec_PtrSize(vBuffs) / (nLevelMax + 1) ) break; if ( !Abc_ObjIsNode(pObj) && !Abc_ObjIsCo(pObj) ) continue; |