From 9eb1be8e537d7826d3bd09d173b7578baa7ec2a3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 29 Mar 2012 15:48:45 -0700 Subject: Bug fix in 'addbuffs'. --- src/base/abc/abcUtil.c | 4 ++-- 1 file 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; -- cgit v1.2.3