luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Small changes to printouts in &bmcs.

This commit is contained in:
Alan Mishchenko 2017-08-30 11:57:45 +08:00
parent d103c4e286
commit a321d4cb4d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/sat/bmc/bmcBmcS.c
View File

@ -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;
}