diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 15:42:25 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 15:42:25 -0700 |
commit | daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5 (patch) | |
tree | 25cfc25fa019bf143410c3cb672c8c518a3489f5 /src/aig/saig/saigBmc3.c | |
parent | fed18333e2bb055cf253244da9362f862c2be091 (diff) | |
download | abc-daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5.tar.gz abc-daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5.tar.bz2 abc-daeffe791cb2f6690a23f4cf4d0d3101a5ac54b5.zip |
Making report about the number of correcty covered frames consistent across the engines.
Diffstat (limited to 'src/aig/saig/saigBmc3.c')
-rw-r--r-- | src/aig/saig/saigBmc3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigBmc3.c b/src/aig/saig/saigBmc3.c index 294f6b64..c8ed7e5a 100644 --- a/src/aig/saig/saigBmc3.c +++ b/src/aig/saig/saigBmc3.c @@ -1551,7 +1551,7 @@ clkOther += clock() - clk2; if ( nJumpFrame && pPars->nStart == 0 ) pPars->iFrame = nJumpFrame - pPars->nFramesJump; else if ( RetValue == -1 && pPars->nStart == 0 ) - pPars->iFrame = f; + pPars->iFrame = f-1; //ABC_PRT( "CNF generation runtime", clkOther ); if ( pPars->fVerbose ) { |