fixing options

ModelWriter · Sep 26, 2017 · 83a8d18 · 83a8d18
1 parent 34248ba
commit 83a8d18
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Shell/Options.cpp b/Shell/Options.cpp
@@ -144,7 +144,10 @@ void Options::Options::init()
     _multicore = UnsignedOptionValue("cores","",1);
     _multicore.description = "When running in portfolio mode mode specify the number of cores, set to 0 to use maximum";
     _lookup.insert(&_multicore);
-    _multicore.reliesOnHard(_mode.is(equal(Mode::CASC)->Or(_mode.is(equal(Mode::PORTFOLIO)))));
+    _multicore.reliesOnHard(_mode.is(equal(Mode::CASC)->
+        Or(_mode.is(equal(Mode::CASC_SAT)))->
+        Or(_mode.is(equal(Mode::SMTCOMP)))->
+        Or(_mode.is(equal(Mode::PORTFOLIO)))));
 
     _ltbLearning = ChoiceOptionValue<LTBLearning>("ltb_learning","ltbl",LTBLearning::OFF,{"on","off","biased"});
     _ltbLearning.description = "Perform learning in LTB mode";