diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-17 14:22:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-17 14:22:49 -0700 |
| commit | bbbfe0e822232591a2c6a064dcf9f594a96880ce (patch) | |
| tree | c0341eabbcc93835b4c75f2bd872614e2aa39c1b /src/map/mpm | |
| parent | 5acfed6c24493d87073077a14a3fea9880ef62d3 (diff) | |
| download | abc-bbbfe0e822232591a2c6a064dcf9f594a96880ce.tar.gz abc-bbbfe0e822232591a2c6a064dcf9f594a96880ce.tar.bz2 abc-bbbfe0e822232591a2c6a064dcf9f594a96880ce.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm')
| -rw-r--r-- | src/map/mpm/mpmMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mpm/mpmMap.c b/src/map/mpm/mpmMap.c index c6ac0a07..0be0447e 100644 --- a/src/map/mpm/mpmMap.c +++ b/src/map/mpm/mpmMap.c @@ -814,7 +814,7 @@ void Mpm_ManPerformRound( Mpm_Man_t * p ) 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->GloRequired, (int)p->GloArea, (int)p->GloEdge, p->nCutsMerged, p->pManCuts->nEntriesMax, p->vTtMem ? p->vTtMem->nEntries : 0, p->nSmallSupp ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); |