diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-27 18:41:03 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-04-27 18:45:42 -0400 |
| commit | 58d2d5e99fee6bf3a067f4b6c3f731e66b5c51e0 (patch) | |
| tree | 05b4aefeadfe9e8b135fab0806b07f56648e47b1 /src/main | |
| parent | 2ece1ef9601b5ef53b0589bc732b09b95da2b555 (diff) | |
rm undocument/non-working* "feature"
*test of unsigned for negative
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/portfolio_util.cpp | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/main/portfolio_util.cpp b/src/main/portfolio_util.cpp index e4fcf6024..cfaa76aa8 100644 --- a/src/main/portfolio_util.cpp +++ b/src/main/portfolio_util.cpp @@ -30,12 +30,6 @@ vector<Options> parseThreadSpecificOptions(Options opts) unsigned numThreads = opts[options::threads]; - /** - * Use satRandomSeed for generating random numbers, in particular - * satRandomSeed-s - */ - srand(-opts[options::satRandomSeed]); - for(unsigned i = 0; i < numThreads; ++i) { threadOptions.push_back(opts); Options& tOpts = threadOptions.back(); @@ -43,11 +37,6 @@ vector<Options> parseThreadSpecificOptions(Options opts) // Set thread identifier tOpts.set(options::thread_id, i); - // If the random-seed is negative, pick a random seed randomly - if(opts[options::satRandomSeed] < 0) { - tOpts.set(options::satRandomSeed, unsigned(rand())); - } - if(i < opts[options::threadArgv].size() && !opts[options::threadArgv][i].empty()) { |