diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-18 17:31:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-18 17:31:23 -0700 |
| commit | 68e1a07fdbcf07e99934586e3727b6d7ffd6870f (patch) | |
| tree | ed9a45d0fb396895b0d57c1cb3c5a3e9fd9e2aae /src/base/abci/abc.c | |
| parent | 29a995685df6ae6b57b66a5ef9ee7a29b9dedde6 (diff) | |
| download | abc-68e1a07fdbcf07e99934586e3727b6d7ffd6870f.tar.gz abc-68e1a07fdbcf07e99934586e3727b6d7ffd6870f.tar.bz2 abc-68e1a07fdbcf07e99934586e3727b6d7ffd6870f.zip | |
Improvements to 'bmc3'.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 7222ad1d..1d9836b7 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -21437,7 +21437,6 @@ int Abc_CommandBmc3( Abc_Frame_t * pAbc, int argc, char ** argv ) } pAbc->Status = Abc_NtkDarBmc3( pNtk, pPars, fOrDecomp ); pAbc->nFrames = pNtk->vSeqModelVec ? -1 : pPars->iFrame; - Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); if ( pLogFileName ) Abc_NtkWriteLogFile( pLogFileName, pAbc->pCex, pAbc->Status, pAbc->nFrames, "bmc3" ); vSeqModelVec = pNtk->vSeqModelVec; pNtk->vSeqModelVec = NULL; @@ -21463,6 +21462,7 @@ int Abc_CommandBmc3( Abc_Frame_t * pAbc, int argc, char ** argv ) vStatuses = Abc_FrameDeriveStatusArray( vSeqModelVec ); Abc_FrameReplacePoStatuses( pAbc, &vStatuses ); Abc_FrameReplaceCexVec( pAbc, &vSeqModelVec ); + Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); return 0; usage: |