luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward is enabled.

This commit is contained in:
Alan Mishchenko 2012-05-20 16:41:01 +07:00
parent 6ecc71f8f9
commit 38214f01c2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/saig/saigBmc3.c
View File

@ -1130,7 +1130,7 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars )
for ( f = 0; f < pPars->nFramesMax; f++ )
{
// stop BMC after exploring all reachable states
if ( Aig_ManRegNum(pAig) < 30 && f == (1 << Aig_ManRegNum(pAig)) )
if ( !pPars->nFramesJump && Aig_ManRegNum(pAig) < 30 && f == (1 << Aig_ManRegNum(pAig)) )
{
Saig_Bmc3ManStop( p );
return pPars->nFailOuts ? 0 : 1;