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/proof/pdr/pdrInv.c | |
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/proof/pdr/pdrInv.c')
-rw-r--r-- | src/proof/pdr/pdrInv.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c index 4b096e1b..d4ac82af 100644 --- a/src/proof/pdr/pdrInv.c +++ b/src/proof/pdr/pdrInv.c @@ -84,6 +84,7 @@ void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, clock_t Time ) Abc_Print( 1, "%s", fClose ? "\n":"\r" ); if ( fClose ) p->nQueMax = 0; + fflush( stdout ); } /**Function************************************************************* |