projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
18f710c
)
Initialize resource limit and millisecond limit options
author
Kshitij Bansal
<kshitij@cs.nyu.edu>
Tue, 25 Oct 2011 07:40:44 +0000
(07:40 +0000)
committer
Kshitij Bansal
<kshitij@cs.nyu.edu>
Tue, 25 Oct 2011 07:40:44 +0000
(07:40 +0000)
src/util/options.cpp
patch
|
blob
|
history
diff --git
a/src/util/options.cpp
b/src/util/options.cpp
index 227cb778bb51020d1a848f9aecb531b1a4b8ce53..64f1fe4d5fca1950e5705e34cdbb82c448028072 100644
(file)
--- 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),