diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 18:45:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-02-28 18:45:44 -0800 |
| commit | 7e9f3f027b8de37480cc8dd6d3de17541a8caeba (patch) | |
| tree | f0df813a0dd7edef77ba3757493955f28c1e29fa /src/aig/gia | |
| parent | 33971604cf9187a473fa6de335e4849365bbf106 (diff) | |
| download | abc-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.c | 6 |
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", |