diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 19:40:02 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 19:40:02 -0700 |
commit | 7808ee8e70b4ece98ed045aa50fe21bf6e3065b3 (patch) | |
tree | 78c6a18bb8da1f10a3bc76159046a3e2efeea1fb /src/base/abci/abcDar.c | |
parent | 95d9aae3e7a265863114f4669e74d33338d51f81 (diff) | |
download | abc-7808ee8e70b4ece98ed045aa50fe21bf6e3065b3.tar.gz abc-7808ee8e70b4ece98ed045aa50fe21bf6e3065b3.tar.bz2 abc-7808ee8e70b4ece98ed045aa50fe21bf6e3065b3.zip |
Adding parameter structure for rarity simulation.
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 3f7771bf..abf08599 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -3299,7 +3299,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 TimeOutGap, int fSolveAll, int fSetLastState, int fVerbose, int fNotVerbose ) +int Abc_NtkDarSeqSim3( Abc_Ntk_t * pNtk, Ssw_RarPars_t * pPars ) { Aig_Man_t * pMan; int status, RetValue = -1; @@ -3310,7 +3310,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, TimeOutGap, fSolveAll, fSetLastState, fVerbose, fNotVerbose ) == 0 ) + if ( Ssw_RarSimulate( pMan, pPars ) == 0 ) { if ( pMan->pSeqModel ) { |