diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 22:57:03 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-09 22:57:03 -0700 |
commit | 908d5e696c7e73f80abcef85ec796511f3bffb0f (patch) | |
tree | 6fb41dd27d8ae48d93f71cda4ed56526092c5302 /src/aig/saig/saigSimSeq.c | |
parent | d46c49088d7b9f1725d4d8624717f7209022c632 (diff) | |
download | abc-908d5e696c7e73f80abcef85ec796511f3bffb0f.tar.gz abc-908d5e696c7e73f80abcef85ec796511f3bffb0f.tar.bz2 abc-908d5e696c7e73f80abcef85ec796511f3bffb0f.zip |
Replacing Mb/Gb to be MB/GB.
Diffstat (limited to 'src/aig/saig/saigSimSeq.c')
-rw-r--r-- | src/aig/saig/saigSimSeq.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigSimSeq.c b/src/aig/saig/saigSimSeq.c index f71b74cb..d92461c8 100644 --- a/src/aig/saig/saigSimSeq.c +++ b/src/aig/saig/saigSimSeq.c @@ -499,7 +499,7 @@ int Raig_ManSimulate( Aig_Man_t * pAig, int nWords, int nIters, int TimeLimit, i } if ( fVerbose ) { - printf( "Maxcut = %8d. AigMem = %7.2f Mb. SimMem = %7.2f Mb. ", + printf( "Maxcut = %8d. AigMem = %7.2f MB. SimMem = %7.2f MB. ", p->nMemsMax, 1.0*(p->nObjs * 16)/(1<<20), 1.0*(p->nMemsMax * 4 * (nWords+1))/(1<<20) ); |