diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-25 11:16:11 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-25 11:16:11 -0700 |
commit | 785ae9e4dbc7c831d476ffb504b2293e492b7a4c (patch) | |
tree | 0898393f2ad58ca4c88bd79ed974b2232ecd0f6a /src | |
parent | 7ecea8d40db5f9ba0d39539c599726e95903261a (diff) | |
download | abc-785ae9e4dbc7c831d476ffb504b2293e492b7a4c.tar.gz abc-785ae9e4dbc7c831d476ffb504b2293e492b7a4c.tar.bz2 abc-785ae9e4dbc7c831d476ffb504b2293e492b7a4c.zip |
Changing the defaults of command 'collapse'.
Diffstat (limited to 'src')
-rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
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 ) { |