summaryrefslogtreecommitdiffstats
path: root/src/aig/int
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2008-09-21 20:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2008-09-21 20:01:00 -0700
commit23c428ea097288df17fe3d008885690d9730f303 (patch)
tree612244253a7993ee266a7087940174450b1346ef /src/aig/int
parent4d71c114a3405f0a2c59a8467c82a8da3f785262 (diff)
downloadabc-23c428ea097288df17fe3d008885690d9730f303.tar.gz
abc-23c428ea097288df17fe3d008885690d9730f303.tar.bz2
abc-23c428ea097288df17fe3d008885690d9730f303.zip
Version abc80921_2
Diffstat (limited to 'src/aig/int')
-rw-r--r--src/aig/int/intCore.c2
1 files changed, 1 insertions, 1 deletions
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