diff options
Diffstat (limited to 'src/map/mpm/mpmMap.c')
| -rw-r--r-- | src/map/mpm/mpmMap.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/map/mpm/mpmMap.c b/src/map/mpm/mpmMap.c index 077cfaeb..3aae666e 100644 --- a/src/map/mpm/mpmMap.c +++ b/src/map/mpm/mpmMap.c @@ -808,11 +808,15 @@ void Mpm_ManPerformRound( Mpm_Man_t * p ) Mpm_ManDeriveCuts( p, pObj ); assert( Mig_ManCandNum(p->pMig) == p->pManCuts->nEntries ); Mpm_ManFinalizeRound( p ); + // report results + if ( p->pPars->fVerbose ) + { printf( "Del =%5d. Ar =%8d. Edge =%8d. Cut =%10d. Max =%8d. Tru =%8d. Small =%6d. ", p->GloRequired, p->GloArea, p->GloEdge, p->nCutsMerged, p->pManCuts->nEntriesMax, p->vTtMem ? p->vTtMem->nEntries : 0, p->nSmallSupp ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); + } } void Mpm_ManPerform( Mpm_Man_t * p ) { |