diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-11 22:54:59 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-11 22:54:59 -0800 |
| commit | 862ebb214d2009edf70e54ff795fe97ccd967449 (patch) | |
| tree | 5c4ce97993e00e7045d8550fb323f6342ec5c751 /src/aig | |
| parent | 49c5beefd40fc8047a07778fca26c8aea7d280f6 (diff) | |
| download | abc-862ebb214d2009edf70e54ff795fe97ccd967449.tar.gz abc-862ebb214d2009edf70e54ff795fe97ccd967449.tar.bz2 abc-862ebb214d2009edf70e54ff795fe97ccd967449.zip | |
Variable timeframe abstraction.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index d406b3ce..764f5d30 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1521,7 +1521,7 @@ finish: else if ( pPars->nConfLimit && sat_solver2_nconflicts(p->pSat) >= pPars->nConfLimit ) printf( "SAT solver ran out of resources at %d conflicts in frame %d. ", pPars->nConfLimit, f ); else if ( p->nSeenGla >= Gia_ManCandNum(pAig) * (100-pPars->nRatioMin) / 100 ) - printf( "Percentage of abstracted objects is less than %d in frame %d. ", pPars->nRatioMin, f ); + printf( "The ratio of abstracted objects is less than %d %% in frame %d. ", pPars->nRatioMin, f ); else printf( "Abstraction stopped for unknown reason in frame %d. ", f ); } @@ -1546,6 +1546,8 @@ finish: ABC_PRTP( "TOTAL ", clock() - clk, clock() - clk ); Vga_ManStop( p ); + + fflush( stdout ); return RetValue; } |