diff options
Diffstat (limited to 'src/opt/dar')
| -rw-r--r-- | src/opt/dar/darCore.c | 2 | ||||
| -rw-r--r-- | src/opt/dar/darMan.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/dar/darCore.c b/src/opt/dar/darCore.c index ba945f77..bbcb385e 100644 --- a/src/opt/dar/darCore.c +++ b/src/opt/dar/darCore.c @@ -317,7 +317,7 @@ Aig_MmFixed_t * Dar_ManComputeCuts( Aig_Man_t * pAig, int nCutsMax, int fSkipTtM nCuts = Dar_ManCutCount( pAig, &nCutsK ); printf( "Nodes = %6d. Total cuts = %6d. 4-input cuts = %6d.\n", Aig_ManObjNum(pAig), nCuts, nCutsK ); - printf( "Cut size = %2d. Truth size = %2d. Total mem = %5.2f Mb ", + printf( "Cut size = %2d. Truth size = %2d. Total mem = %5.2f MB ", (int)sizeof(Dar_Cut_t), (int)4, 1.0*Aig_MmFixedReadMemUsage(p->pMemCuts)/(1<<20) ); ABC_PRT( "Runtime", clock() - clk ); /* diff --git a/src/opt/dar/darMan.c b/src/opt/dar/darMan.c index dc81e759..e1094267 100644 --- a/src/opt/dar/darMan.c +++ b/src/opt/dar/darMan.c @@ -97,7 +97,7 @@ void Dar_ManPrintStats( Dar_Man_t * p ) extern void Kit_DsdPrintFromTruth( unsigned * pTruth, int nVars ); Gain = p->nNodesInit - Aig_ManNodeNum(p->pAig); - printf( "Tried = %8d. Beg = %8d. End = %8d. Gain = %6d. (%6.2f %%). Cut mem = %d Mb\n", + printf( "Tried = %8d. Beg = %8d. End = %8d. Gain = %6d. (%6.2f %%). Cut mem = %d MB\n", p->nNodesTried, p->nNodesInit, Aig_ManNodeNum(p->pAig), Gain, 100.0*Gain/p->nNodesInit, p->nCutMemUsed ); printf( "Cuts = %8d. Tried = %8d. Used = %8d. Bad = %5d. Skipped = %5d. Ave = %.2f.\n", p->nCutsAll, p->nCutsTried, p->nCutsUsed, p->nCutsBad, p->nCutsSkipped, |