From 93c3f16066b69c840dc636f827f5f3ca18749906 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 29 Mar 2008 08:01:00 -0700
Subject: Version abc80329

---
 src/opt/mfs/mfsResub.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/opt/mfs/mfsResub.c')

diff --git a/src/opt/mfs/mfsResub.c b/src/opt/mfs/mfsResub.c
index 8908da2f..b6c7299b 100644
--- a/src/opt/mfs/mfsResub.c
+++ b/src/opt/mfs/mfsResub.c
@@ -176,6 +176,7 @@ int Abc_NtkMfsSolveSatResub( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int f
         if ( fVeryVerbose )
         printf( "Node %d: Fanin %d can be removed.\n", pNode->Id, iFanin );
         p->nNodesResub++;
+        p->nNodesGainedLevel++;
         if ( fSkipUpdate )
             return 1;
 clk = clock();
@@ -243,6 +244,7 @@ p->timeInt += clock() - clk;
             if ( fVeryVerbose )
             printf( "Node %d: Fanin %d can be replaced by divisor %d.\n", pNode->Id, iFanin, iVar );
             p->nNodesResub++;
+            p->nNodesGainedLevel++;
             if ( fSkipUpdate )
                 return 1;
 clk = clock();
@@ -315,6 +317,7 @@ int Abc_NtkMfsSolveSatResub2( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int
         if ( fVeryVerbose )
         printf( "Node %d: Fanins %d/%d can be removed.\n", pNode->Id, iFanin, iFanin2 );
         p->nNodesResub++;
+        p->nNodesGainedLevel++;
 clk = clock();
         // derive the function
         pFunc = Abc_NtkMfsInterplate( p, pCands, nCands );
@@ -388,6 +391,7 @@ p->timeInt += clock() - clk;
             if ( fVeryVerbose )
             printf( "Node %d: Fanins %d/%d can be replaced by divisors %d/%d.\n", pNode->Id, iFanin, iFanin2, iVar, iVar2 );
             p->nNodesResub++;
+            p->nNodesGainedLevel++;
 clk = clock();
             // derive the function
             pFunc = Abc_NtkMfsInterplate( p, pCands, nCands+2 );
-- 
cgit v1.2.3