diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-04 23:24:42 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-04 23:24:42 -0800 |
| commit | 54b2cc1d72f2f86891077626a5c79da849f013b1 (patch) | |
| tree | 846ff3ccbc7a2f55c05d5bd866bc411ee9e7d0b0 /src/sat/bmc/bmcBmc3.c | |
| parent | d8cb39a191d2edd5e97564553916158533a119bb (diff) | |
| download | abc-54b2cc1d72f2f86891077626a5c79da849f013b1.tar.gz abc-54b2cc1d72f2f86891077626a5c79da849f013b1.tar.bz2 abc-54b2cc1d72f2f86891077626a5c79da849f013b1.zip | |
Tuning for multi-ouptut solver.
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 ) { |