Refactor(Resub): Clear mark A/B

This commit is contained in:
wjrforcyber 2024-08-28 16:51:33 +08:00
parent bcf292fdeb
commit 252afb1521
No known key found for this signature in database
1 changed files with 2 additions and 3 deletions

View File

@ -170,9 +170,8 @@ 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;
//clear markAB at the beginning
Abc_NtkCleanMarkAB( pNtk );
Abc_NtkForEachNode( pNtk, pNode, i )
{
Extra_ProgressBarUpdate( pProgress, i, NULL );