diff options
Diffstat (limited to 'src/sat/bmc/bmcBmc3.c')
| -rw-r--r-- | src/sat/bmc/bmcBmc3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c index 4fbbe8d4..106e362c 100644 --- a/src/sat/bmc/bmcBmc3.c +++ b/src/sat/bmc/bmcBmc3.c @@ -1550,7 +1550,7 @@ clk2 = Abc_Clock(); if ( p->pTime4Outs[i] == 0 && status != l_True ) pPars->nDropOuts++; if ( timeSince ) - printf( "%d ", pPars->nDropOuts ); + printf( "%d %d ", status == l_True, pPars->nDropOuts ); } if ( status == l_False ) { |