diff options
| -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()) { |