diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-11 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-11 08:01:00 -0700 |
commit | 582cf0b923e0a461c2efdb4ecde9bfdb0716a328 (patch) | |
tree | 8a1480ebd6e719ea1a4a769a02538ab8ce4dc124 /src/aig/ivy/ivyBalance.c | |
parent | 0f03f34924b64814791347c5dcf0633dd244d341 (diff) | |
download | abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.gz abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.bz2 abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.zip |
Version abc80511
Diffstat (limited to 'src/aig/ivy/ivyBalance.c')
-rw-r--r-- | src/aig/ivy/ivyBalance.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ivy/ivyBalance.c b/src/aig/ivy/ivyBalance.c index 5627039a..e0b2bef2 100644 --- a/src/aig/ivy/ivyBalance.c +++ b/src/aig/ivy/ivyBalance.c @@ -215,7 +215,7 @@ int Ivy_NodeBalanceCone_rec( Ivy_Obj_t * pRoot, Ivy_Obj_t * pObj, Vec_Ptr_t * vS return 0; } // if the new node is complemented or a PI, another gate begins - if ( pObj != pRoot && (Ivy_IsComplement(pObj) || Ivy_ObjType(pObj) != Ivy_ObjType(pRoot) || Ivy_ObjRefs(pObj) > 1) ) + if ( pObj != pRoot && (Ivy_IsComplement(pObj) || Ivy_ObjType(pObj) != Ivy_ObjType(pRoot) || Ivy_ObjRefs(pObj) > 1 || Vec_PtrSize(vSuper) > 10000) ) { Vec_PtrPush( vSuper, pObj ); Ivy_Regular(pObj)->fMarkB = 1; |