From 83a47278a98d328d760d28fa720947422836c635 Mon Sep 17 00:00:00 2001 From: grigora Date: Sat, 11 Oct 2014 13:30:02 +0000 Subject: Fixed "bm" command hang issue. --- src/base/abci/abcBm.c | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) (limited to 'src') diff --git a/src/base/abci/abcBm.c b/src/base/abci/abcBm.c index c6d1238c..60051f64 100644 --- a/src/base/abci/abcBm.c +++ b/src/base/abci/abcBm.c @@ -1909,15 +1909,14 @@ void bmGateWay( Abc_Ntk_t * pNtk1, Abc_Ntk_t * pNtk2, int p_equivalence ) } if( iLastItem2 < Abc_NtkPiNum(pNtk2) ) - { iNumOfItemsAdded = iSplitByDep(pNtk2, iDep2, iMatch2, iGroup2, &iLastItem2, oGroup2); - if( oLastItem2 < Abc_NtkPoNum(pNtk2) ) - oNumOfItemsAdded = oSplitByDep(pNtk2, oDep2, oMatch2, oGroup2, &oLastItem2, iGroup2); - else - oNumOfItemsAdded = 0; - } else - iNumOfItemsAdded = 0; + iNumOfItemsAdded = 0; + + if( oLastItem2 < Abc_NtkPoNum(pNtk2) ) + oNumOfItemsAdded = oSplitByDep(pNtk2, oDep2, oMatch2, oGroup2, &oLastItem2, iGroup2); + else + oNumOfItemsAdded = 0; if(!checkListConsistency(iMatch1, oMatch1, iMatch2, oMatch2, iLastItem1, oLastItem1, iLastItem2, oLastItem2)) { -- cgit v1.2.3