diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaCone.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c index 56dae32a..91c0a5aa 100644 --- a/src/aig/gia/giaCone.c +++ b/src/aig/gia/giaCone.c @@ -390,7 +390,7 @@ Vec_Int_t * Gia_ManFindPivots( Gia_Man_t * p, int SelectShift, int fVerbose ) { j = (i + SelectShift) % Vec_IntSize(vWeights); if ( fVerbose ) - printf( "%6d : Pivot = %6d Weight = %6d\n", j, Vec_IntEntry(vPivots, pPerm[j]), Vec_IntEntry(vWeights, pPerm[j]) ); + printf( "%2d : Pivot =%7d Fanout =%7d\n", j, Vec_IntEntry(vPivots, pPerm[j]), Vec_IntEntry(vWeights, pPerm[j]) ); Vec_IntPush( vResult, Vec_IntEntry(vPivots, pPerm[j]) ); } @@ -501,9 +501,9 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose { int Offset = Vec_IntEntry( vBin, 0 ); word Sign = Vec_WrdEntry( vSigns, Offset ); - printf( "%6d : Support ", i ); + printf( "%3d ", i ); Extra_PrintBinary( stdout, &Offset, 64 ); - printf( " " ); + printf( " " ); } // remove the first item @@ -513,8 +513,8 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose if ( fVerbose ) { - printf( "PO = %7d ", Vec_IntSize(vBin) ); - printf( "FF = %7d", Gia_ManCountFlops(p, vBin) ); + printf( "PO =%5d ", Vec_IntSize(vBin) ); + printf( "FF =%5d", Gia_ManCountFlops(p, vBin) ); printf( "\n" ); } } |