From 986bf053ee6d218b42ceafda09c73c9ec1d284cd Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Nov 2011 23:16:24 -0800 Subject: Trying to add BMC to random simulation. --- src/aig/ssw/sswRarity.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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(); -- cgit v1.2.3