diff options
Diffstat (limited to 'src/proof')
-rw-r--r-- | src/proof/pdr/pdrInv.c | 1 | ||||
-rw-r--r-- | src/proof/pdr/pdrMan.c | 1 |
2 files changed, 2 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************************************************************* 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 ) |