diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 13:38:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 13:38:52 -0700 |
commit | b9ed304236ee9c7e0cc7d7a0508fb29553679b33 (patch) | |
tree | fabba01447539b79f1d07ef6662a22e1e7731b03 /src/aig/gia/giaAbsGla.c | |
parent | 6b2744ff771eb71b5246aa9930ea5ff8862e106d (diff) | |
download | abc-b9ed304236ee9c7e0cc7d7a0508fb29553679b33.tar.gz abc-b9ed304236ee9c7e0cc7d7a0508fb29553679b33.tar.bz2 abc-b9ed304236ee9c7e0cc7d7a0508fb29553679b33.zip |
Correcting the report of completed timeframes in &gla.
Diffstat (limited to 'src/aig/gia/giaAbsGla.c')
-rw-r--r-- | src/aig/gia/giaAbsGla.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index d992aeab..dd9c6b9e 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -1919,7 +1919,7 @@ int Gia_GlaPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars, int fStartVta ) pPars->nFramesMax, pPars->nConfLimit, pPars->nTimeOut, pPars->nRatioMin ); Abc_Print( 1, "LearnStart = %d LearnDelta = %d LearnRatio = %d %%.\n", pPars->nLearnedStart, pPars->nLearnedDelta, pPars->nLearnedPerce ); - Abc_Print( 1, " Frame %% Abs PPI FF LUT Confl Cex Vars Clas Lrns Time Mem\n" ); + Abc_Print( 1, " Frame %% Abs PPI FF LUT Confl Cex Vars Clas Lrns Time Mem\n" ); } for ( f = i = iPrev = 0; !p->pPars->nFramesMax || f < p->pPars->nFramesMax; f++, iPrev = i ) { @@ -2123,7 +2123,7 @@ finish: else { p->pPars->iFrame++; - Abc_Print( 1, "Completed %d frames with a %d-stable abstraction. ", f, p->pPars->nFramesNoChange ); + Abc_Print( 1, "GLA completed %d frames with a %d-stable abstraction. ", f, p->pPars->nFramesNoChange ); } } else |