diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-10 08:01:00 -0700 |
| commit | c645bac3663c265470024b44ed91b0afdbe59b88 (patch) | |
| tree | f213e6bff5697e1ffae3cc95b874b924dfad6ffb /src/aig/nwk/nwkMan.c | |
| parent | 9d6b12ddfdeda36038441520af66e0c20297bcb7 (diff) | |
| download | abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.gz abc-c645bac3663c265470024b44ed91b0afdbe59b88.tar.bz2 abc-c645bac3663c265470024b44ed91b0afdbe59b88.zip | |
Version abc80410
Diffstat (limited to 'src/aig/nwk/nwkMan.c')
| -rw-r--r-- | src/aig/nwk/nwkMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/nwk/nwkMan.c b/src/aig/nwk/nwkMan.c index 9c2c5ed8..a1f20a8e 100644 --- a/src/aig/nwk/nwkMan.c +++ b/src/aig/nwk/nwkMan.c @@ -100,7 +100,6 @@ void Nwk_ManPrintLutSizes( Nwk_Man_t * p, If_Lib_t * pLutLib ) printf( "LUTs by size: " ); for ( i = 0; i <= pLutLib->LutMax; i++ ) printf( "%d:%d ", i, Counters[i] ); - printf( "\n" ); } /**Function************************************************************* @@ -124,6 +123,7 @@ void Nwk_ManPrintStats( Nwk_Man_t * p, If_Lib_t * pLutLib ) printf( "co = %5d ", Nwk_ManCoNum(p) ); printf( "lat = %5d ", Nwk_ManLatchNum(p) ); printf( "node = %5d ", Nwk_ManNodeNum(p) ); + printf( "edge = %5d ", Nwk_ManGetTotalFanins(p) ); printf( "aig = %6d ", Nwk_ManGetAigNodeNum(p) ); printf( "lev = %3d ", Nwk_ManLevel(p) ); // printf( "lev2 = %3d ", Nwk_ManLevelBackup(p) ); |