From 5e91f13247eddd977fdf6339fde5e7cef997aaf5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 28 Jan 2012 23:17:31 -0800 Subject: Variable timeframe abstraction. --- src/aig/gia/giaMan.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/aig/gia/giaMan.c') 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) ); -- cgit v1.2.3