diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 20:41:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 20:41:16 -0700 |
| commit | e80bd69ed617901612edf9983721b22382c5042a (patch) | |
| tree | 6fe3cd79e19c746acddf518d0edc759c621f4f9a /src/aig | |
| parent | fc574a7c61b129856bc1e5865fe560ff5befdda1 (diff) | |
| download | abc-e80bd69ed617901612edf9983721b22382c5042a.tar.gz abc-e80bd69ed617901612edf9983721b22382c5042a.tar.bz2 abc-e80bd69ed617901612edf9983721b22382c5042a.zip | |
Adding flushing stdout after printing verbose stats.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/saig/saigBmc2.c | 2 | ||||
| -rw-r--r-- | src/aig/saig/saigBmc3.c | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/saig/saigBmc2.c b/src/aig/saig/saigBmc2.c index 92e701a1..8da8095a 100644 --- a/src/aig/saig/saigBmc2.c +++ b/src/aig/saig/saigBmc2.c @@ -793,6 +793,7 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax printf( "%4.0f Mb", 4.0*(p->iFrameLast+1)*p->nObjs/(1<<20) ); printf( "%9.2f sec", (float)(clock() - clkTotal)/(float)(CLOCKS_PER_SEC) ); printf( "\n" ); + fflush( stdout ); } if ( RetValue != l_False ) break; @@ -846,6 +847,7 @@ int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax printf( "Reached local conflict limit (%d).\n", p->nConfMaxOne ); } Saig_BmcManStop( p ); + fflush( stdout ); return Status; } diff --git a/src/aig/saig/saigBmc3.c b/src/aig/saig/saigBmc3.c index 973112b2..05246a26 100644 --- a/src/aig/saig/saigBmc3.c +++ b/src/aig/saig/saigBmc3.c @@ -1476,6 +1476,7 @@ clkOther += clock() - clk2; // printf( "\n" ); } Saig_Bmc3ManStop( p ); + fflush( stdout ); return RetValue; } |