Skip to content

A
abc
Commit 54b2cc1d by Alan Mishchenko
Options

Tuning for multi-ouptut solver.

parent d8cb39a1
Showing with 1 additions and 1 deletions
src/sat/bmc/bmcBmc3.c
...@@ -1550,7 +1550,7 @@ clk2 = Abc_Clock(); ...@@ -1550,7 +1550,7 @@ clk2 = Abc_Clock();
if ( p->pTime4Outs[i] == 0 && status != l_True ) if ( p->pTime4Outs[i] == 0 && status != l_True )
pPars->nDropOuts++; pPars->nDropOuts++;
if ( timeSince ) if ( timeSince )
printf( "%d ", pPars->nDropOuts ); printf( "%d %d ", status == l_True, pPars->nDropOuts );
} }
if ( status == l_False ) if ( status == l_False )
{ {
......
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