Refactor(Resub): Clear markB at the beginning

This commit is contained in:
wjrforcyber 2024-08-28 15:41:09 +08:00
parent 64ed5b81a4
commit bcf292fdeb
No known key found for this signature in database
1 changed files with 3 additions and 0 deletions

View File

@ -170,6 +170,9 @@ int Abc_NtkResubstitute( Abc_Ntk_t * pNtk, int nCutMax, int nStepsMax, int nMinS
pManRes->nNodesBeg = Abc_NtkNodeNum(pNtk);
nNodes = Abc_NtkObjNumMax(pNtk);
pProgress = Extra_ProgressBarStart( stdout, nNodes );
//clear markB at the beginning
Abc_NtkForEachObj( pNtk, pNode, i )
pNode->fMarkB = 0;
Abc_NtkForEachNode( pNtk, pNode, i )
{
Extra_ProgressBarUpdate( pProgress, i, NULL );