Fixed performance bug in Feb 28 commit (0d0063f).

berkeley-abc · Aug 12, 2023 · 42683a7 · 42683a7
1 parent a7aa3de
commit 42683a7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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