From 2a219cf184c8f59f305b311e4b4041395587d816 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Mar 2014 23:38:50 -0700 Subject: Synchronizing with the recent version. --- src/opt/cgt/cgtCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opt/cgt/cgtCore.c b/src/opt/cgt/cgtCore.c index d87801a3..4c98427b 100644 --- a/src/opt/cgt/cgtCore.c +++ b/src/opt/cgt/cgtCore.c @@ -51,7 +51,7 @@ void Cgt_SetDefaultParams( Cgt_Par_t * p ) p->nOdcMax = 0; // the max number of ODC levels to consider p->nConfMax = 10; // the max number of conflicts at a node p->nVarsMin = 1000; // the min number of vars to recycle the SAT solver - p->nFlopsMin = 5; // the min number of flops to recycle the SAT solver + p->nFlopsMin = 10; // the min number of flops to recycle the SAT solver p->fAreaOnly = 0; // derive clock-gating to minimize area p->fVerbose = 0; // verbosity flag } -- cgit v1.2.3