Skip to content

A
abc
Commit 087ec9eb by Alan Mishchenko
Options

Added code to collect experimental results.

parent 825bcd82
Showing with 2 additions and 2 deletions
src/aig/gia/giaAbsGla.c
...@@ -1943,7 +1943,7 @@ finish: ...@@ -1943,7 +1943,7 @@ finish:
ABC_PRTP( "Runtime: TOTAL ", clock() - clk, clock() - clk ); ABC_PRTP( "Runtime: TOTAL ", clock() - clk, clock() - clk );
Gla_ManReportMemory( p ); 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 ); Gla_ManStop( p );
fflush( stdout ); fflush( stdout );
return RetValue; return RetValue;
......
src/aig/gia/giaAbsGla2.c
...@@ -1821,7 +1821,7 @@ finish: ...@@ -1821,7 +1821,7 @@ finish:
ABC_PRTP( "Runtime: TOTAL ", clock() - clk, clock() - clk ); ABC_PRTP( "Runtime: TOTAL ", clock() - clk, clock() - clk );
Ga2_ManReportMemory( p ); 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 ); Ga2_ManStop( p );
fflush( stdout ); fflush( stdout );
return RetValue; return RetValue;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment