From e95844c0afbfcb877eaa6993953e78f3adddefca Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 11 Sep 2012 22:35:27 -0700 Subject: Added code to collect experimental results. --- src/aig/gia/giaAbsGla.c | 2 +- src/aig/gia/giaAbsGla2.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 0ebb8db7..d1001ff3 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -1943,7 +1943,7 @@ finish: ABC_PRTP( "Runtime: TOTAL ", clock() - clk, clock() - clk ); Gla_ManReportMemory( p ); } -// Ga2_ManDumpStats( pAig, p->pPars, p->pSat, p->pPars->iFrame, 1 ); + Ga2_ManDumpStats( pAig, p->pPars, p->pSat, p->pPars->iFrame, 1 ); Gla_ManStop( p ); fflush( stdout ); return RetValue; diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index 9ca58bb9..587604ad 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; -- cgit v1.2.3