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/giaGlitch.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/giaGlitch.c')
| -rw-r--r-- | src/aig/gia/giaGlitch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaGlitch.c b/src/aig/gia/giaGlitch.c index 0dfee293..fc4d2736 100644 --- a/src/aig/gia/giaGlitch.c +++ b/src/aig/gia/giaGlitch.c @@ -772,7 +772,7 @@ void Gli_ManSwitchesAndGlitches( Gli_Man_t * p, int nPatterns, float PiTransProb if ( fVerbose ) { printf( "\nSimulated %d patterns. ", nPatterns ); - ABC_PRM( "Memory", 4*p->nObjData ); + ABC_PRMn( "Memory", 4*p->nObjData ); ABC_PRT( "Time", clock() - clk ); } } |