diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-14 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-14 08:01:00 -0700 |
commit | ff6f0943362c30176fd1f961bcbd19e188cee520 (patch) | |
tree | fc2b888c8403ee04fb7d473433c1eb3bcc5ef8c5 /src/opt/mfs/mfsMan.c | |
parent | 6205eaaee3a840dd076f9baaac67720d85d6a680 (diff) | |
download | abc-ff6f0943362c30176fd1f961bcbd19e188cee520.tar.gz abc-ff6f0943362c30176fd1f961bcbd19e188cee520.tar.bz2 abc-ff6f0943362c30176fd1f961bcbd19e188cee520.zip |
Version abc80314
Diffstat (limited to 'src/opt/mfs/mfsMan.c')
-rw-r--r-- | src/opt/mfs/mfsMan.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/opt/mfs/mfsMan.c b/src/opt/mfs/mfsMan.c index 17ca40fc..f1b3f44c 100644 --- a/src/opt/mfs/mfsMan.c +++ b/src/opt/mfs/mfsMan.c @@ -131,6 +131,8 @@ void Mfs_ManPrint( Mfs_Man_t * p ) 1.0 * (p->nMintsTotal-p->nMintsCare) / p->nMintsTotal ); // printf( "Average ratio of sequential DCs in the global space = %5.2f.\n", // 1.0-(p->dTotalRatios/p->nNodesTried) ); + printf( "Nodes resyn = %d. Ratio = %5.2f. Total AIG node gain = %d.\n", + p->nNodesDec, 1.0 * p->nNodesDec / p->nNodesTried, p->nNodesGained ); } /* PRTP( "Win", p->timeWin , p->timeTotal ); @@ -158,6 +160,10 @@ void Mfs_ManStop( Mfs_Man_t * p ) { if ( p->pPars->fVerbose ) Mfs_ManPrint( p ); + if ( p->vTruth ) + Vec_IntFree( p->vTruth ); + if ( p->pManDec ) + Bdc_ManFree( p->pManDec ); if ( p->pCare ) Aig_ManStop( p->pCare ); if ( p->vSuppsInv ) |