From 4d71c114a3405f0a2c59a8467c82a8da3f785262 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 21 Sep 2008 08:01:00 -0700
Subject: Version abc80921

---
 src/base/abci/abc.c    | 6 +++---
 src/base/abci/abcDar.c | 1 -
 2 files changed, 3 insertions(+), 4 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 7247f8ed..09fd26ab 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -13888,10 +13888,10 @@ int Abc_CommandLcorr( Abc_Frame_t * pAbc, int argc, char ** argv )
 
     // set defaults
     nFramesP   =     0;
-    nConfMax   = 10000;
-    nVarsMax   =  5000;
+    nConfMax   =  1000;
+    nVarsMax   =  1000;
     fNewAlgor  =     0;
-    fVerbose   =     1;
+    fVerbose   =     0;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "PCSnvh" ) ) != EOF )
     {
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c
index ac5ee882..71443265 100644
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -1335,7 +1335,6 @@ Abc_Ntk_t * Abc_NtkDarLcorrNew( Abc_Ntk_t * pNtk, int nVarsMax, int nConfMax, in
         return NULL;
     Ssw_ManSetDefaultParams( pPars );
     pPars->fLatchCorrOpt = 1;
-//    pPars->nFramesAddSim = 0;
     pPars->nBTLimit      = nConfMax;
     pPars->nSatVarMax    = nVarsMax;
     pPars->fVerbose      = fVerbose;
-- 
cgit v1.2.3