From bcf292fdeb5684d843d6407297fd55ac15595d4e Mon Sep 17 00:00:00 2001
From: wjrforcyber <wjrforcyber@163.com>
Date: Wed, 28 Aug 2024 15:41:09 +0800
Subject: [PATCH] Refactor(Resub): Clear markB at the beginning

---
 src/base/abci/abcResub.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c
index 803b88e91..f1f3ce04d 100644
--- a/src/base/abci/abcResub.c
+++ b/src/base/abci/abcResub.c
@@ -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 );