diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-30 11:57:45 +0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-30 11:57:45 +0800 |
commit | a321d4cb4d704f58038bff19fb88df9163957b8f (patch) | |
tree | 3145f6c3ff08a54413cf08c75f8d0581c74c938e | |
parent | d103c4e28687ee9d91766c7d1057107e0100e7e3 (diff) | |
download | abc-a321d4cb4d704f58038bff19fb88df9163957b8f.tar.gz abc-a321d4cb4d704f58038bff19fb88df9163957b8f.tar.bz2 abc-a321d4cb4d704f58038bff19fb88df9163957b8f.zip |
Small changes to printouts in &bmcs.
-rw-r--r-- | src/sat/bmc/bmcBmcS.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; } |