Skip to content

A
abc
Commit a525dfba by Alan Mishchenko
Options

Fixed the problem with incorrect reporting of finished timeframes after &abs_cba.

parent 11ed7247
Showing with 1 additions and 1 deletions
src/aig/saig/saigBmc3.c
...@@ -1134,7 +1134,7 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars ) ...@@ -1134,7 +1134,7 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars )
} }
// consider the next timeframe // consider the next timeframe
if ( RetValue == -1 && pPars->nStart == 0 ) if ( RetValue == -1 && pPars->nStart == 0 )
pPars->iFrame = f; pPars->iFrame = f-1;
// resize the array // resize the array
Vec_IntFillExtra( p->vPiVars, (f+1)*Saig_ManPiNum(p->pAig), 0 ); Vec_IntFillExtra( p->vPiVars, (f+1)*Saig_ManPiNum(p->pAig), 0 );
// map nodes of this section // map nodes of this section
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment