summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2018-02-28 18:45:44 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2018-02-28 18:45:44 -0800
commit7e9f3f027b8de37480cc8dd6d3de17541a8caeba (patch)
treef0df813a0dd7edef77ba3757493955f28c1e29fa /src/aig/gia
parent33971604cf9187a473fa6de335e4849365bbf106 (diff)
downloadabc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.tar.gz
abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.tar.bz2
abc-7e9f3f027b8de37480cc8dd6d3de17541a8caeba.zip
Adding parameters and improvements to %blast.
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaMan.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index bc270168..98907491 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -764,15 +764,15 @@ void Gia_ManPrintNpnClasses( Gia_Man_t * p )
nTotal += ClassCounts[i];
Abc_Print( 1, "NPN CLASS STATISTICS (for %d LUT4 present in the current mapping):\n", nTotal );
OtherClasses = 0;
- for ( i = 0; i < 222; i++ )
+ for ( i = k = 0; i < 222; i++ )
{
if ( ClassCounts[i] == 0 )
continue;
// if ( 100.0 * ClassCounts[i] / (nTotal+1) < 0.1 ) // do not show anything below 0.1 percent
// continue;
OtherClasses += ClassCounts[i];
- Abc_Print( 1, "Class %3d : Count = %6d (%7.2f %%) %s\n",
- i, ClassCounts[i], 100.0 * ClassCounts[i] / (nTotal+1), pNames[i] );
+ Abc_Print( 1, "%3d: Class %3d : Count = %6d (%7.2f %%) %s\n",
+ ++k, i, ClassCounts[i], 100.0 * ClassCounts[i] / (nTotal+1), pNames[i] );
}
OtherClasses = nTotal - OtherClasses;
Abc_Print( 1, "Other : Count = %6d (%7.2f %%)\n",