Merge pull request #326 from wjrforcyber/resub_markB

Refactor(Resub): Clear markA/B at the beginning
berkeley-abc · Aug 28, 2024 · 9371696 · 9371696
2 parents 64ed5b8 + 252afb1
commit 9371696
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c
@@ -170,6 +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 markAB at the beginning
+    Abc_NtkCleanMarkAB( pNtk );
     Abc_NtkForEachNode( pNtk, pNode, i )
     {
         Extra_ProgressBarUpdate( pProgress, i, NULL );