diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 23:19:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-17 23:19:54 -0700 |
commit | d4bd7846c3bb80c89ae646d20d8c144d089564b0 (patch) | |
tree | 569aeaf2cafe986e034e07d6334158a8e0453c45 /src/base/abci/abc.c | |
parent | 3d8dc1217c3634963e36f793d475cb73622d8719 (diff) | |
download | abc-d4bd7846c3bb80c89ae646d20d8c144d089564b0.tar.gz abc-d4bd7846c3bb80c89ae646d20d8c144d089564b0.tar.bz2 abc-d4bd7846c3bb80c89ae646d20d8c144d089564b0.zip |
Added bridge integration for multi-output 'bmc3 -a'.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 8773f9d1..47f78c51 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -21901,6 +21901,7 @@ int Abc_CommandBmc3( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Constraints have to be folded (use \"fold\").\n" ); return 0; } + pPars->fUseBridge = pAbc->fBridgeMode; pAbc->Status = Abc_NtkDarBmc3( pNtk, pPars, fOrDecomp ); pAbc->nFrames = pNtk->vSeqModelVec ? -1 : pPars->iFrame; if ( pLogFileName ) |