diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 00:31:03 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 00:31:03 +0700 |
| commit | 6c6c0b06868110f1d635bb4da40647494fbe6905 (patch) | |
| tree | 608d6f170b9e52409a54f05c36c7bced83ab18b6 /src/base/abci/abcDar.c | |
| parent | 4e9f972489604b13ba076b1f0297d4ccc9a06b1d (diff) | |
| download | abc-6c6c0b06868110f1d635bb4da40647494fbe6905.tar.gz abc-6c6c0b06868110f1d635bb4da40647494fbe6905.tar.bz2 abc-6c6c0b06868110f1d635bb4da40647494fbe6905.zip | |
Enabled saving vector of counter-examples in the ABC framework.
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 064529cc..ebeafa86 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -1824,9 +1824,9 @@ int Abc_NtkDarBmc3( Abc_Ntk_t * pNtk, Saig_ParBmc_t * pPars ) printf( "(timeout %d sec). ", pPars->nTimeOut ); else printf( "(conf limit %d). ", pPars->nConfLimit ); - if ( pNtk->pSeqModelVec ) - Vec_PtrFreeFree( pNtk->pSeqModelVec ); - pNtk->pSeqModelVec = pMan->pSeqModelVec; pMan->pSeqModelVec = NULL; + if ( pNtk->vSeqModelVec ) + Vec_PtrFreeFree( pNtk->vSeqModelVec ); + pNtk->vSeqModelVec = pMan->vSeqModelVec; pMan->vSeqModelVec = NULL; } } else // if ( RetValue == 0 ) |