diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-15 16:47:18 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-15 16:47:18 -0800 |
commit | fd0ff0171eced62f11f9cbe67570d09e6dd22065 (patch) | |
tree | 4dd6776dab7ba0414f110e9e4e660ad7888877ca /src/base/abci/abcDar.c | |
parent | 8866a1aa6dab27a80ee31cde6d68405d9634a5c2 (diff) | |
download | abc-fd0ff0171eced62f11f9cbe67570d09e6dd22065.tar.gz abc-fd0ff0171eced62f11f9cbe67570d09e6dd22065.tar.bz2 abc-fd0ff0171eced62f11f9cbe67570d09e6dd22065.zip |
Added 'gap timeout' to bmc3 and sim3.
Diffstat (limited to 'src/base/abci/abcDar.c')
-rw-r--r-- | src/base/abci/abcDar.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 8ca40bc0..03df7fec 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -3273,7 +3273,7 @@ int Abc_NtkDarSeqSim( Abc_Ntk_t * pNtk, int nFrames, int nWords, int TimeOut, in SeeAlso [] ***********************************************************************/ -int Abc_NtkDarSeqSim3( Abc_Ntk_t * pNtk, int nFrames, int nWords, int nBinSize, int nRounds, int nRestart, int nRandSeed, int TimeOut, int fSolveAll, int fVerbose, int fNotVerbose ) +int Abc_NtkDarSeqSim3( Abc_Ntk_t * pNtk, int nFrames, int nWords, int nBinSize, int nRounds, int nRestart, int nRandSeed, int TimeOut, int TimeOutGap, int fSolveAll, int fVerbose, int fNotVerbose ) { Aig_Man_t * pMan; int status, RetValue = -1; @@ -3284,7 +3284,7 @@ int Abc_NtkDarSeqSim3( Abc_Ntk_t * pNtk, int nFrames, int nWords, int nBinSize, Abc_AigCleanup((Abc_Aig_t *)pNtk->pManFunc); } pMan = Abc_NtkToDar( pNtk, 0, 1 ); - if ( Ssw_RarSimulate( pMan, nFrames, nWords, nBinSize, nRounds, nRestart, nRandSeed, TimeOut, fSolveAll, fVerbose, fNotVerbose ) == 0 ) + if ( Ssw_RarSimulate( pMan, nFrames, nWords, nBinSize, nRounds, nRestart, nRandSeed, TimeOut, TimeOutGap, fSolveAll, fVerbose, fNotVerbose ) == 0 ) { if ( pMan->pSeqModel ) { |