diff options
| author | grigora <grigoraghanyan@gmail.com> | 2014-10-11 13:30:02 +0000 |
|---|---|---|
| committer | grigora <grigoraghanyan@gmail.com> | 2014-10-11 13:30:02 +0000 |
| commit | 83a47278a98d328d760d28fa720947422836c635 (patch) | |
| tree | 9926793d7872dd3f2f3b83cf5e4af561cdfa2bcd /src | |
| parent | f0044175ee8522eda307a67bd35ac86e7353cf52 (diff) | |
| download | abc-83a47278a98d328d760d28fa720947422836c635.tar.gz abc-83a47278a98d328d760d28fa720947422836c635.tar.bz2 abc-83a47278a98d328d760d28fa720947422836c635.zip | |
Fixed "bm" command hang issue.
Diffstat (limited to 'src')
| -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)) { |