From c03f9b516bed2c06ec2bfc78617eba5fc9a11c32 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 20 Feb 2009 08:01:00 -0800 Subject: Version abc90220 --- src/aig/ssw/sswCore.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/ssw') diff --git a/src/aig/ssw/sswCore.c b/src/aig/ssw/sswCore.c index 485a5146..16430ace 100644 --- a/src/aig/ssw/sswCore.c +++ b/src/aig/ssw/sswCore.c @@ -50,7 +50,7 @@ void Ssw_ManSetDefaultParams( Ssw_Pars_t * p ) p->nBTLimit = 1000; // conflict limit at a node p->nBTLimitGlobal = 5000000; // conflict limit for all runs p->nMinDomSize = 100; // min clock domain considered for optimization - p->nItersStop = 0; // stop after the given number of iterations + p->nItersStop = -1; // stop after the given number of iterations p->nResimDelta = 1000; // the internal of nodes to resimulate p->fPolarFlip = 0; // uses polarity adjustment p->fLatchCorr = 0; // performs register correspondence @@ -199,7 +199,7 @@ clk = clock(); if ( !RetValue ) break; - if ( p->pPars->nItersStop && p->pPars->nItersStop == nIter ) + if ( p->pPars->nItersStop >= 0 && p->pPars->nItersStop == nIter ) { Aig_Man_t * pSRed = Ssw_SpeculativeReduction( p ); Aig_ManDumpBlif( pSRed, "srm.blif", NULL, NULL ); -- cgit v1.2.3