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/proof/pdr/pdrInv.c | 1 +
src/proof/pdr/pdrMan.c | 1 +
2 files changed, 2 insertions(+)
(limited to 'src/proof')
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*************************************************************
diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c
index d3fcd112..36d577dd 100644
--- a/src/proof/pdr/pdrMan.c
+++ b/src/proof/pdr/pdrMan.c
@@ -105,6 +105,7 @@ void Pdr_ManStop( Pdr_Man_t * p )
ABC_PRTP( "Containment", p->tContain, p->tTotal );
ABC_PRTP( "CNF compute", p->tCnf, p->tTotal );
ABC_PRTP( "TOTAL ", p->tTotal, p->tTotal );
+ fflush( stdout );
}
// Abc_Print( 1, "SS =%6d. SU =%6d. US =%6d. UU =%6d.\n", p->nCasesSS, p->nCasesSU, p->nCasesUS, p->nCasesUU );
Vec_PtrForEachEntry( sat_solver *, p->vSolvers, pSat, i )
--
cgit v1.2.3