From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sun, 27 Apr 2014 22:41:03 +0000 (-0400)
Subject: rm undocument/non-working* "feature"
X-Git-Tag: cvc5-1.0.0~6956^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=58d2d5e99fee6bf3a067f4b6c3f731e66b5c51e0;p=cvc5.git

rm undocument/non-working* "feature"

*test of unsigned for negative
---

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