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/hop/hopBalance.c | |
parent | 0f03f34924b64814791347c5dcf0633dd244d341 (diff) | |
download | abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.gz abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.bz2 abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.zip |
Version abc80511
Diffstat (limited to 'src/aig/hop/hopBalance.c')
-rw-r--r-- | src/aig/hop/hopBalance.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/hop/hopBalance.c b/src/aig/hop/hopBalance.c index 73c90685..4bc15bb7 100644 --- a/src/aig/hop/hopBalance.c +++ b/src/aig/hop/hopBalance.c @@ -148,7 +148,7 @@ int Hop_NodeBalanceCone_rec( Hop_Obj_t * pRoot, Hop_Obj_t * pObj, Vec_Ptr_t * vS return 0; } // if the new node is complemented or a PI, another gate begins - if ( pObj != pRoot && (Hop_IsComplement(pObj) || Hop_ObjType(pObj) != Hop_ObjType(pRoot) || Hop_ObjRefs(pObj) > 1) ) + if ( pObj != pRoot && (Hop_IsComplement(pObj) || Hop_ObjType(pObj) != Hop_ObjType(pRoot) || Hop_ObjRefs(pObj) > 1 || Vec_PtrSize(vSuper) > 10000) ) { Vec_PtrPush( vSuper, pObj ); Hop_Regular(pObj)->fMarkB = 1; |