From e80bd69ed617901612edf9983721b22382c5042a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 20:41:16 -0700
Subject: Adding flushing stdout after printing verbose stats.

---
 src/aig/saig/saigBmc2.c | 2 ++
 src/aig/saig/saigBmc3.c | 1 +
 2 files changed, 3 insertions(+)

(limited to 'src/aig/saig')

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;
 }
 
-- 
cgit v1.2.3