From a321d4cb4d704f58038bff19fb88df9163957b8f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Aug 2017 11:57:45 +0800
Subject: Small changes to printouts in &bmcs.

---
 src/sat/bmc/bmcBmcS.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/sat/bmc/bmcBmcS.c b/src/sat/bmc/bmcBmcS.c
index 99cc99dc..6a5c2a85 100644
--- a/src/sat/bmc/bmcBmcS.c
+++ b/src/sat/bmc/bmcBmcS.c
@@ -701,11 +701,11 @@ int Bmcs_ManPerformOne( Gia_Man_t * pGia, Bmc_AndPar_t * pPars )
             break;
     }
     p->timeOth = Abc_Clock() - clkStart - p->timeUnf - p->timeCnf - p->timeSat;
-    Bmcs_ManPrintTime( p );
-    Bmcs_ManStop( p );
     if ( RetValue == -1 && !pPars->fNotVerbose )
         printf( "No output failed in %d frames.  ", f + (k < pPars->nFramesAdd ? k+1 : 0) );
     Abc_PrintTime( 1, "Time", Abc_Clock() - clkStart );
+    Bmcs_ManPrintTime( p );
+    Bmcs_ManStop( p );
     return RetValue;
 }
 
-- 
cgit v1.2.3