From 42683a7370278353dc760d291b59e5133ec78097 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 12 Aug 2023 16:36:18 +0700
Subject: [PATCH] Fixed performance bug in Feb 28 commit (0d0063f).

---
 src/base/abci/abcRefactor.c | 2 ++
 src/opt/dar/darCore.c       | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/src/base/abci/abcRefactor.c b/src/base/abci/abcRefactor.c
index ec6756aa1..ee034c951 100644
--- a/src/base/abci/abcRefactor.c
+++ b/src/base/abci/abcRefactor.c
@@ -160,6 +160,8 @@ Dec_Graph_t * Abc_NodeRefactor( Abc_ManRef_t * p, Abc_Obj_t * pNode, Vec_Ptr_t *
     word * pTruth;
     abctime clk;
     int i, nNodesSaved, nNodesAdded, Required;
+    if ( fUseZeros )
+        nMinSaved = 0;
 
     p->nNodesConsidered++;
 
diff --git a/src/opt/dar/darCore.c b/src/opt/dar/darCore.c
index 9d877699a..f050ced18 100644
--- a/src/opt/dar/darCore.c
+++ b/src/opt/dar/darCore.c
@@ -87,6 +87,8 @@ int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars )
     abctime clk = 0, clkStart;
     int Counter = 0;
     int nMffcSize;//, nMffcGains[MAX_VAL+1][MAX_VAL+1] = {{0}};
+    if ( pPars->fUseZeros )
+        pPars->nMinSaved = 0;
     // prepare the library
     Dar_LibPrepare( pPars->nSubgMax ); 
     // create rewriting manager