Skip to content

A
abc
Commit 41e94c47 by Alan Mishchenko
Options

Updating logic file print-out.

parent a965f2a0
Showing with 3 additions and 1 deletions
src/sat/bmc/bmcBmc3.c
...@@ -1555,7 +1555,9 @@ clk2 = Abc_Clock(); ...@@ -1555,7 +1555,9 @@ clk2 = Abc_Clock();
status = Saig_ManCallSolver( p, Lit ); status = Saig_ManCallSolver( p, Lit );
clkSatRun = Abc_Clock() - clk2; clkSatRun = Abc_Clock() - clk2;
if ( pLogFile ) if ( pLogFile )
fprintf( pLogFile, "Frame %5d Output %5d Time(ms) %8d\n", f, i, Lit < 2 ? 0 : (int)(clkSatRun * 1000 / CLOCKS_PER_SEC) ); fprintf( pLogFile, "Frame %5d Output %5d Time(ms) %8d %8d\n", f, i,
Lit < 2 ? 0 : (int)(clkSatRun * 1000 / CLOCKS_PER_SEC),
Lit < 2 ? 0 : Abc_MaxInt(0, Abc_MinInt(pPars->nTimeOutOne, pPars->nTimeOutOne - (int)((p->pTime4Outs[i] - clkSatRun) * 1000 / CLOCKS_PER_SEC))) );
if ( p->pTime4Outs ) if ( p->pTime4Outs )
{ {
abctime timeSince = Abc_Clock() - clkOne; abctime timeSince = Abc_Clock() - clkOne;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment