diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 16:26:01 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 16:26:01 -0700 |
commit | 759b7c08554991068f249e51107eb3dd42d84670 (patch) | |
tree | d7d993dd4d3873ccc41b25eb44e4f59d15ae938c /src | |
parent | d257fce824b88a3c191f749b6e46916ae1f8b6ff (diff) | |
download | abc-759b7c08554991068f249e51107eb3dd42d84670.tar.gz abc-759b7c08554991068f249e51107eb3dd42d84670.tar.bz2 abc-759b7c08554991068f249e51107eb3dd42d84670.zip |
Added code to collect experimental results.
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/gia/giaAbsGla.c | 2 | ||||
-rw-r--r-- | src/aig/gia/giaAbsGla2.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 57122da5..6cd8b5a7 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -1559,7 +1559,7 @@ void Gla_ManReportMemory( Gla_Man_t * p ) ABC_PRMP( "Memory: Refine ", memRef, memTot ); ABC_PRMP( "Memory: Other ", memOth, memTot ); ABC_PRMP( "Memory: TOTAL ", memTot, memTot ); - Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrame, 1 ); +// Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrame, 1 ); } diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index 18e63fa0..40bb27d7 100644 --- a/src/aig/gia/giaAbsGla2.c +++ b/src/aig/gia/giaAbsGla2.c @@ -458,7 +458,7 @@ void Ga2_ManReportMemory( Ga2_Man_t * p ) ABC_PRMP( "Memory: Hash ", memHash,memTot ); ABC_PRMP( "Memory: Other ", memOth, memTot ); ABC_PRMP( "Memory: TOTAL ", memTot, memTot ); - Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrameProved, 0 ); +// Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrameProved, 0 ); } void Ga2_ManStop( Ga2_Man_t * p ) { |