diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-06-06 23:15:38 -0700 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-06-06 23:15:38 -0700 |
| commit | 10f5e944c99626d5f8e68aa874e43462569cabf7 (patch) | |
| tree | 4f0395c2537fbf1fe8475b76169a5374dafd9188 | |
| parent | 38e5c8c9e6eaa5fa97e85ced24970e0628afcdf9 (diff) | |
| download | abc-10f5e944c99626d5f8e68aa874e43462569cabf7.tar.gz abc-10f5e944c99626d5f8e68aa874e43462569cabf7.tar.bz2 abc-10f5e944c99626d5f8e68aa874e43462569cabf7.zip | |
%pdra: fixed a bug
| -rw-r--r-- | src/base/wlc/wlcPth.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcPth.c b/src/base/wlc/wlcPth.c index 7b8e1942..ddafab23 100644 --- a/src/base/wlc/wlcPth.c +++ b/src/base/wlc/wlcPth.c @@ -40,7 +40,7 @@ ABC_NAMESPACE_IMPL_START extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pAig ); extern int Abc_NtkDarBmc3( Abc_Ntk_t * pAbcNtk, Saig_ParBmc_t * pBmcPars, int fOrDecomp ); -extern int Wla_ManShrinkAbs( Wla_Man_t * pWla, int nFrames ); +extern int Wla_ManShrinkAbs( Wla_Man_t * pWla, int nFrames, int RunId ); static volatile int g_nRunIds = 0; // the number of the last prover instance int Wla_CallBackToStop( int RunId ) { assert( RunId <= g_nRunIds ); return RunId < g_nRunIds; } @@ -119,7 +119,7 @@ void * Wla_Bmc3Thread ( void * pArg ) if ( pData->pWla->nIters > 1 && pData->RunId == g_nRunIds ) { - RetValue = Wla_ManShrinkAbs( pData->pWla, pData->pWla->iCexFrame + nFramesNoChangeLim ); + RetValue = Wla_ManShrinkAbs( pData->pWla, pData->pWla->iCexFrame + nFramesNoChangeLim, pData->RunId ); pData->pWla->iCexFrame += nFramesNoChangeLim; if ( RetValue == 1 ) |