diff options
Diffstat (limited to 'src/base/abci/abcFxu.c')
| -rw-r--r-- | src/base/abci/abcFxu.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abcFxu.c b/src/base/abci/abcFxu.c index b2a56a7d..b0106636 100644 --- a/src/base/abci/abcFxu.c +++ b/src/base/abci/abcFxu.c @@ -55,7 +55,8 @@ void Abc_NtkSetDefaultParams( Fxu_Data_t * p ) p->nSingleMax = 20000; p->nPairsMax = 30000; p->nNodesExt = 100000; - p->WeightMax = 0; + p->WeightMin = 0; + p->LitCountMax= 0; p->fOnlyS = 0; p->fOnlyD = 0; p->fUse0 = 0; |