diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 15:15:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-30 15:15:26 -0700 |
commit | ca7c801150916cc119cab6242cb81dd63e06a1ce (patch) | |
tree | fad6116ef6f04b43f73b08206eeb8273649d7a76 /src/base/abci/abc.c | |
parent | be8125f364ad80393b01a4953ae68f2158ffaa55 (diff) | |
download | abc-ca7c801150916cc119cab6242cb81dd63e06a1ce.tar.gz abc-ca7c801150916cc119cab6242cb81dd63e06a1ce.tar.bz2 abc-ca7c801150916cc119cab6242cb81dd63e06a1ce.zip |
Improving verbose printout of 'sim3' when solving multiple outputs.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index debedfa1..d972b506 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -17904,7 +17904,7 @@ int Abc_CommandSim3( Abc_Frame_t * pAbc, int argc, char ** argv ) int nWords = 50; int nBinSize = 8; int nRounds = 0; - int nRestart = 100; + int nRestart = 0; int nRandSeed = 0; int TimeOut = 0; int TimeOutGap = 0; @@ -24884,7 +24884,7 @@ int Abc_CommandAbc9Sim3( Abc_Frame_t * pAbc, int argc, char ** argv ) nWords = 50; nBinSize = 8; nRounds = 0; - nRestart = 100; + nRestart = 0; nRandSeed = 0; TimeOut = 0; TimeOutGap = 0; @@ -25449,7 +25449,7 @@ int Abc_CommandAbc9Equiv3( Abc_Frame_t * pAbc, int argc, char ** argv ) int nWords = 50; int nBinSize = 8; int nRounds = 0; - int nRestart = 100; + int nRestart = 0; int nRandSeed = 0; int TimeOut = 0; int fMiter = 0; |