diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-28 23:17:31 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-28 23:17:31 -0800 |
| commit | 5e91f13247eddd977fdf6339fde5e7cef997aaf5 (patch) | |
| tree | bad1ba180871d2bfdfb51297240b98d4b026ea59 /src/aig/gia/giaMan.c | |
| parent | 095bf1c91bba6323cf6aae960fc386dc50066f5d (diff) | |
| download | abc-5e91f13247eddd977fdf6339fde5e7cef997aaf5.tar.gz abc-5e91f13247eddd977fdf6339fde5e7cef997aaf5.tar.bz2 abc-5e91f13247eddd977fdf6339fde5e7cef997aaf5.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -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 972958bb..fd8bb062 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -278,7 +278,7 @@ void Gia_ManPrintObjClasses( Gia_Man_t * p ) nObjMask = (1 << nObjBits) - 1; assert( Gia_ManObjNum(p) <= nObjMask ); // print info about frames - printf( "Frame All F0 F1 F2 F3 ...\n" ); + printf( "Frame All F0 F1 F2 F3 ...\n" ); for ( i = 0; i < nFrames; i++ ) { iStart = Vec_IntEntry( vAbs, i+1 ); @@ -302,11 +302,11 @@ void Gia_ManPrintObjClasses( Gia_Man_t * p ) assert( pCountAll[0] == (iStop - iStart) ); // printf( "%5d%5d ", pCountAll[0], pCountUni[0] ); printf( "%3d :", i ); - printf( "%6d", pCountAll[0] ); + printf( "%7d", pCountAll[0] ); for ( k = 0; k < nFrames; k++ ) if ( k <= i ) // printf( "%5d%5d ", pCountAll[k+1], pCountUni[k+1] ); - printf( "%4d", pCountAll[k+1] ); + printf( "%5d", pCountAll[k+1] ); printf( "\n" ); } assert( iStop == Vec_IntSize(vAbs) ); |