From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 11 Mar 2014 22:50:51 +0000 (-0400)
Subject: Fix for random-seed option.
X-Git-Tag: cvc5-1.0.0~6987^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3801e9c98d9c44e1583c744a6d72ec8e31a6c3f4;p=cvc5.git

Fix for random-seed option.
---

diff --git a/src/prop/options b/src/prop/options
index cf241479c..71091d2b5 100644
--- a/src/prop/options
+++ b/src/prop/options
@@ -10,7 +10,7 @@ option - --show-sat-solvers void :handler CVC4::prop::showSatSolvers :handler-in
 
 option satRandomFreq random-frequency --random-freq=P double :default 0.0 :predicate greater_equal(0.0) less_equal(1.0)
  sets the frequency of random decisions in the sat solver (P=0.0 by default)
-option satRandomSeed random-seed --random-seed=S uint32_t :default
+option satRandomSeed random-seed --random-seed=S uint32_t :default 0 :read-write
  sets the random seed for the sat solver
 
 option satVarDecay double :default 0.95 :predicate less_equal(1.0) greater_equal(0.0)