From a525dfba6ce1b091aadf8566a52c6f15f77bbaaf Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 4 Sep 2011 01:40:56 +0700 Subject: Fixed the problem with incorrect reporting of finished timeframes after &abs_cba. --- src/aig/saig/saigBmc3.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3