diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-11 18:07:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-11 18:07:56 -0700 |
| commit | bc4164a466e566ff9d2e800aa3cc141622514135 (patch) | |
| tree | 255b33f339c5f03841e8afba02a69dd234acd968 | |
| parent | 8b160138f129387fba66e60009cbeef3b9559eb7 (diff) | |
| parent | 83a47278a98d328d760d28fa720947422836c635 (diff) | |
| download | abc-bc4164a466e566ff9d2e800aa3cc141622514135.tar.gz abc-bc4164a466e566ff9d2e800aa3cc141622514135.tar.bz2 abc-bc4164a466e566ff9d2e800aa3cc141622514135.zip | |
Merged in grigora/abc/grigora/fixed-hang-issue-in-bm-command-1413034154897 (pull request #8)
Fix for hang issue in "bm" command.
| -rw-r--r-- | src/base/abci/abcBm.c | 13 |
1 files changed, 6 insertions, 7 deletions
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)) { |