From 785ae9e4dbc7c831d476ffb504b2293e492b7a4c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 25 Oct 2012 11:16:11 -0700
Subject: Changing the defaults of command 'collapse'.

---
 src/base/abci/abc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/base')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 84f6ade2..1b935fbd 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -2628,10 +2628,10 @@ int Abc_CommandCollapse( Abc_Frame_t * pAbc, int argc, char ** argv )
     pNtk = Abc_FrameReadNtk(pAbc);
 
     // set defaults
-    fVerbose = 1;
+    fVerbose = 0;
     fReorder = 1;
     fDualRail = 0;
-    fBddSizeMax = 50000000;
+    fBddSizeMax = ABC_INFINITY;
     Extra_UtilGetoptReset();
     while ( ( c = Extra_UtilGetopt( argc, argv, "Brdvh" ) ) != EOF )
     {
-- 
cgit v1.2.3