diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 16:59:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 16:59:22 -0700 |
| commit | 4cb042f8c544d9e128d618401fe8ebe6ad44dc09 (patch) | |
| tree | 40f2051808e4b0396d86644661a6b16202abe518 /src/aig/gia/giaCone.c | |
| parent | ca7c801150916cc119cab6242cb81dd63e06a1ce (diff) | |
| download | abc-4cb042f8c544d9e128d618401fe8ebe6ad44dc09.tar.gz abc-4cb042f8c544d9e128d618401fe8ebe6ad44dc09.tar.bz2 abc-4cb042f8c544d9e128d618401fe8ebe6ad44dc09.zip | |
Bug fix in the printout of &popart.
Diffstat (limited to 'src/aig/gia/giaCone.c')
| -rw-r--r-- | src/aig/gia/giaCone.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c index 16ed5a92..15b6d8b6 100644 --- a/src/aig/gia/giaCone.c +++ b/src/aig/gia/giaCone.c @@ -498,12 +498,14 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose if ( fVerbose ) printf( "Computed %d partitions:\n", Vec_PtrSize(vBins) ); + if ( fVerbose ) + printf( "Listing only partitions with more than 100 outputs:\n" ); Vec_PtrForEachEntry( Vec_Int_t *, vBins, vBin, i ) { - if ( fVerbose ) + if ( fVerbose && Vec_IntSize(vBin) > 100 ) { - int Offset = Vec_IntEntry( vBin, 0 ); - word Sign = Vec_WrdEntry( vSigns, Offset ); + int PoNum = Vec_IntEntry( vBin, 1 ); + word Sign = Vec_WrdEntry( vSigns, PoNum ); printf( "%3d ", i ); Extra_PrintBinary( stdout, (unsigned *)&Sign, 64 ); printf( " " ); @@ -514,7 +516,7 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose Vec_IntPop( vBin ); Vec_IntSort( vBin, 0 ); - if ( fVerbose ) + if ( fVerbose && Vec_IntSize(vBin) > 100 ) { printf( "PO =%5d ", Vec_IntSize(vBin) ); printf( "FF =%5d", Gia_ManCountFlops(p, vBin) ); |