From 49df91f071d6828113ded55f371e15d192304222 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 2 Aug 2011 12:58:37 +0700 Subject: Several bug fixes. --- src/aig/ssw/sswRarity.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/ssw/sswRarity.c') diff --git a/src/aig/ssw/sswRarity.c b/src/aig/ssw/sswRarity.c index 24cfe65d..037dfe55 100644 --- a/src/aig/ssw/sswRarity.c +++ b/src/aig/ssw/sswRarity.c @@ -899,7 +899,7 @@ int Ssw_RarSimulate( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize, in if ( Aig_ManNodeNum(pAig) == 0 ) return -1; // check trivially SAT miters - if ( Ssw_RarCheckTrivial( pAig, fVerbose ) ) + if ( fMiter && Ssw_RarCheckTrivial( pAig, fVerbose ) ) return 0; if ( fVerbose ) printf( "Rarity simulation with %d words, %d frames, %d rounds, %d seed, and %d sec timeout.\n", @@ -1006,7 +1006,7 @@ int Ssw_RarSignalFilter( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize if ( Aig_ManNodeNum(pAig) == 0 ) return -1; // check trivially SAT miters - if ( Ssw_RarCheckTrivial( pAig, 1 ) ) + if ( fMiter && Ssw_RarCheckTrivial( pAig, 1 ) ) return 0; if ( fVerbose ) printf( "Rarity equiv filtering with %d words, %d frames, %d rounds, %d seed, and %d sec timeout.\n", -- cgit v1.2.3