diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-22 10:30:22 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-22 10:30:22 -0700 |
commit | 735a831e13684334d55b422993a80d94d356f180 (patch) | |
tree | 0bf12906593cf6f6010c107cb9cb8f57fb335b79 /src/aig/gia/giaSat.c | |
parent | 072c264f761268838e2613d0e6735d1a721e0ae9 (diff) | |
download | abc-735a831e13684334d55b422993a80d94d356f180.tar.gz abc-735a831e13684334d55b422993a80d94d356f180.tar.bz2 abc-735a831e13684334d55b422993a80d94d356f180.zip |
Added memory reporting to &vta.
Diffstat (limited to 'src/aig/gia/giaSat.c')
-rw-r--r-- | src/aig/gia/giaSat.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaSat.c b/src/aig/gia/giaSat.c index cb410dd7..138eedd5 100644 --- a/src/aig/gia/giaSat.c +++ b/src/aig/gia/giaSat.c @@ -411,8 +411,8 @@ void Gia_ManSatExperiment( Gia_Man_t * p ) Gia_ManSatStop( pMan ); for ( i = 0; i < 2*GIA_LIMIT+2; i++ ) printf( "%2d=%6d %7.2f %% %7.2f %%\n", i, nCount[i], 100.0*nCount[i]/nCountAll, 100.0*i*nCount[i]/Gia_ManAndNum(p) ); - ABC_PRM( "MemoryEst", 4*nWords ); - ABC_PRM( "MemoryReal", 4*nWords2 ); + ABC_PRMn( "MemoryEst", 4*nWords ); + ABC_PRMn( "MemoryReal", 4*nWords2 ); printf( "%5.2f bpn ", 4.0*nWords2/Gia_ManObjNum(p) ); ABC_PRT( "Time", clock() - clk ); } |