luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Trying to add BMC to random simulation.

This commit is contained in:
Alan Mishchenko 2011-11-06 23:16:24 -08:00
parent d2ced9f82e
commit 986bf053ee
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/ssw/sswRarity.c
View File

@ -892,7 +892,7 @@ int Ssw_RarCheckTrivial( Aig_Man_t * pAig, int fVerbose )
***********************************************************************/
int Ssw_RarSimulate( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize, int nRounds, int nRandSeed, int TimeOut, int fVerbose )
{
int fTryBmc = 1;
int fTryBmc = 0;
int fMiter = 1;
Ssw_RarMan_t * p;
int r, f, clk, clkTotal = clock();