diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 14:19:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 14:19:19 -0700 |
| commit | 4507a5d3ed288b36894f17aa6b063d0fb81e1044 (patch) | |
| tree | 2f195c7999a65b5453c724daea04a827023106ba /src/aig/gia | |
| parent | b08aca5c1e0bece41e138eda6b0d1dbd616aeae6 (diff) | |
| download | abc-4507a5d3ed288b36894f17aa6b063d0fb81e1044.tar.gz abc-4507a5d3ed288b36894f17aa6b063d0fb81e1044.tar.bz2 abc-4507a5d3ed288b36894f17aa6b063d0fb81e1044.zip | |
Correcting the report of completed timeframes in &gla.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaAbsGla2.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c index 67d9029b..424d7249 100644 --- a/src/aig/gia/giaAbsGla2.c +++ b/src/aig/gia/giaAbsGla2.c @@ -1697,18 +1697,18 @@ finish: if ( Status == l_Undef ) { if ( p->pPars->nTimeOut && clock() >= p->pSat->nRuntimeLimit ) - Abc_Print( 1, "Timeout %d sec in frame %d with a %d-stable abstraction. ", p->pPars->nTimeOut, iFrameProved, p->pPars->nFramesNoChange ); + Abc_Print( 1, "Timeout %d sec in frame %d with a %d-stable abstraction. ", p->pPars->nTimeOut, iFrameProved+1, p->pPars->nFramesNoChange ); else if ( pPars->nConfLimit && sat_solver2_nconflicts(p->pSat) >= pPars->nConfLimit ) - Abc_Print( 1, "Exceeded %d conflicts in frame %d with a %d-stable abstraction. ", pPars->nConfLimit, iFrameProved, p->pPars->nFramesNoChange ); + Abc_Print( 1, "Exceeded %d conflicts in frame %d with a %d-stable abstraction. ", pPars->nConfLimit, iFrameProved+1, p->pPars->nFramesNoChange ); else if ( Vec_IntSize(p->vAbs) >= p->nMarked * (100 - pPars->nRatioMin) / 100 ) - Abc_Print( 1, "The ratio of abstracted objects is less than %d %% in frame %d. ", pPars->nRatioMin, iFrameProved ); + Abc_Print( 1, "The ratio of abstracted objects is less than %d %% in frame %d. ", pPars->nRatioMin, iFrameProved+1 ); else - Abc_Print( 1, "Abstraction stopped for unknown reason in frame %d. ", iFrameProved ); + Abc_Print( 1, "Abstraction stopped for unknown reason in frame %d. ", iFrameProved+1 ); } else { p->pPars->iFrame = iFrameProved; - Abc_Print( 1, "GLA completed %d frames and produced a %d-stable abstraction. ", iFrameProved, p->pPars->nFramesNoChange ); + Abc_Print( 1, "GLA completed %d frames and produced a %d-stable abstraction. ", iFrameProved+1, p->pPars->nFramesNoChange ); } } else |