luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixed "bm" command hang issue.

This commit is contained in:
grigora 2014-10-11 13:30:02 +00:00
parent f0044175ee
commit 83a47278a9
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/base/abci/abcBm.c
View File

@ -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))
{