From 23c428ea097288df17fe3d008885690d9730f303 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 21 Sep 2008 20:01:00 -0700 Subject: Version abc80921_2 --- src/aig/int/intCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/int/intCore.c') diff --git a/src/aig/int/intCore.c b/src/aig/int/intCore.c index cc6c5f5b..8fe15cda 100644 --- a/src/aig/int/intCore.c +++ b/src/aig/int/intCore.c @@ -46,7 +46,7 @@ void Inter_ManSetDefaultParams( Inter_ManParams_t * p ) p->nFramesMax = 40; // the max number timeframes to unroll p->nFramesK = 1; // the number of timeframes to use in induction p->fRewrite = 0; // use additional rewriting to simplify timeframes - p->fTransLoop = 0; // add transition into the init state under new PI var + p->fTransLoop = 1; // add transition into the init state under new PI var p->fUsePudlak = 0; // use Pudluk interpolation procedure p->fUseOther = 0; // use other undisclosed option p->fUseMiniSat = 0; // use MiniSat-1.14p instead of internal proof engine -- cgit v1.2.3