From 908d5e696c7e73f80abcef85ec796511f3bffb0f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 9 Jul 2012 22:57:03 -0700 Subject: Replacing Mb/Gb to be MB/GB. --- src/proof/ssw/sswClass.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof/ssw/sswClass.c') diff --git a/src/proof/ssw/sswClass.c b/src/proof/ssw/sswClass.c index 28c4947a..0b5c0ab1 100644 --- a/src/proof/ssw/sswClass.c +++ b/src/proof/ssw/sswClass.c @@ -622,7 +622,7 @@ clk = clock(); pSml = Ssw_SmlSimulateSeq( pAig, 0, nFrames, nWords ); if ( fVerbose ) { - printf( "Allocated %.2f Mb to store simulation information.\n", + printf( "Allocated %.2f MB to store simulation information.\n", 1.0*(sizeof(unsigned) * Aig_ManObjNumMax(pAig) * nFrames * nWords)/(1<<20) ); printf( "Initial simulation of %d frames with %d words. ", nFrames, nWords ); ABC_PRT( "Time", clock() - clk ); -- cgit v1.2.3