diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 22:34:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 22:34:49 -0700 |
| commit | 087ec9eb1f4b92abde21ad4f79ac88be3dc6f6d7 (patch) | |
| tree | 4a315919e2d795e3cff670151ccb83c6134b293d /src/aig/gia/giaAbsGla2.c | |
| parent | 825bcd823cbfda84f64b072b47c86b4eaa0665e9 (diff) | |
| download | abc-087ec9eb1f4b92abde21ad4f79ac88be3dc6f6d7.tar.gz abc-087ec9eb1f4b92abde21ad4f79ac88be3dc6f6d7.tar.bz2 abc-087ec9eb1f4b92abde21ad4f79ac88be3dc6f6d7.zip | |
Added code to collect experimental results.
Diffstat (limited to 'src/aig/gia/giaAbsGla2.c')
| -rw-r--r-- | src/aig/gia/giaAbsGla2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index 587604ad..9ca58bb9 100644 --- a/src/aig/gia/giaAbsGla2.c +++ b/src/aig/gia/giaAbsGla2.c @@ -1821,7 +1821,7 @@ finish: ABC_PRTP( "Runtime: TOTAL ", clock() - clk, clock() - clk ); Ga2_ManReportMemory( p ); } - Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrameProved, 0 ); +// Ga2_ManDumpStats( p->pGia, p->pPars, p->pSat, p->pPars->iFrameProved, 0 ); Ga2_ManStop( p ); fflush( stdout ); return RetValue; |