luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added code to collect experimental results.

This commit is contained in:
Alan Mishchenko 2012-09-11 22:35:27 -07:00
parent 087ec9eb1f
commit e95844c0af
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaAbsGla.c
View File

@ -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;

2
src/aig/gia/giaAbsGla2.c
View File

@ -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;