diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-06 23:16:24 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-06 23:16:24 -0800 |
commit | 986bf053ee6d218b42ceafda09c73c9ec1d284cd (patch) | |
tree | d5e566605a7671c104757111020e4420d420d3ee | |
parent | d2ced9f82e20fd502dab9bcbaea5c98ee18c34a1 (diff) | |
download | abc-986bf053ee6d218b42ceafda09c73c9ec1d284cd.tar.gz abc-986bf053ee6d218b42ceafda09c73c9ec1d284cd.tar.bz2 abc-986bf053ee6d218b42ceafda09c73c9ec1d284cd.zip |
Trying to add BMC to random simulation.
-rw-r--r-- | src/aig/ssw/sswRarity.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ssw/sswRarity.c b/src/aig/ssw/sswRarity.c index ac43db2d..5480afb5 100644 --- a/src/aig/ssw/sswRarity.c +++ b/src/aig/ssw/sswRarity.c @@ -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(); |