diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-04 01:40:56 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-04 01:40:56 +0700 |
| commit | a525dfba6ce1b091aadf8566a52c6f15f77bbaaf (patch) | |
| tree | 8f859379799d4c725bf940f55cfd6f205e7129f1 /src | |
| parent | 11ed724766dd0748dcdfd9c50954e90f363390cc (diff) | |
| download | abc-a525dfba6ce1b091aadf8566a52c6f15f77bbaaf.tar.gz abc-a525dfba6ce1b091aadf8566a52c6f15f77bbaaf.tar.bz2 abc-a525dfba6ce1b091aadf8566a52c6f15f77bbaaf.zip | |
Fixed the problem with incorrect reporting of finished timeframes after &abs_cba.
Diffstat (limited to 'src')
| -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 a4567446..f5a6234e 100644 --- a/src/aig/saig/saigBmc3.c +++ b/src/aig/saig/saigBmc3.c @@ -1134,7 +1134,7 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars ) } // consider the next timeframe if ( RetValue == -1 && pPars->nStart == 0 ) - pPars->iFrame = f; + pPars->iFrame = f-1; // resize the array Vec_IntFillExtra( p->vPiVars, (f+1)*Saig_ManPiNum(p->pAig), 0 ); // map nodes of this section |