From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 11 Mar 2014 22:47:28 +0000 (-0400)
Subject: Fix for portfolio.
X-Git-Tag: cvc5-1.0.0~6987^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0779cbb12ba1b6dc8b6b9eb9989ed5a75cb7bf14;p=cvc5.git

Fix for portfolio.
---

diff --git a/src/main/portfolio_util.cpp b/src/main/portfolio_util.cpp
index a2d0ff700..e4fcf6024 100644
--- a/src/main/portfolio_util.cpp
+++ b/src/main/portfolio_util.cpp
@@ -34,7 +34,7 @@ vector<Options> parseThreadSpecificOptions(Options opts)
    * Use satRandomSeed for generating random numbers, in particular
    * satRandomSeed-s
    */
-  srand((unsigned int)(-opts[options::satRandomSeed]));
+  srand(-opts[options::satRandomSeed]);
 
   for(unsigned i = 0; i < numThreads; ++i) {
     threadOptions.push_back(opts);
@@ -45,7 +45,7 @@ vector<Options> parseThreadSpecificOptions(Options opts)
 
     // If the random-seed is negative, pick a random seed randomly
     if(opts[options::satRandomSeed] < 0) {
-      tOpts.set(options::satRandomSeed, (double)rand());
+      tOpts.set(options::satRandomSeed, unsigned(rand()));
     }
 
     if(i < opts[options::threadArgv].size() &&