From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 25 Oct 2011 07:40:44 +0000 (+0000)
Subject: Initialize resource limit and millisecond limit options
X-Git-Tag: cvc5-1.0.0~8408
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c9482b86edaabbd49f509c4477d0c181b2ebe33f;p=cvc5.git

Initialize resource limit and millisecond limit options
---

diff --git a/src/util/options.cpp b/src/util/options.cpp
index 227cb778b..64f1fe4d5 100644
--- a/src/util/options.cpp
+++ b/src/util/options.cpp
@@ -74,6 +74,10 @@ Options::Options() :
   doStaticLearning(true),
   interactive(false),
   interactiveSetByUser(false),
+  perCallResourceLimit(0),
+  cumulativeResourceLimit(0),
+  perCallMillisecondLimit(0),
+  cumulativeMillisecondLimit(0),
   segvNoSpin(false),
   produceModels(false),
   produceAssignments(false),