From 83a8d18c8701a5e38848c5bd3ee29b4d9883ad51 Mon Sep 17 00:00:00 2001
From: Martin Suda <sudam@cs.man.ac.uk>
Date: Tue, 26 Sep 2017 17:01:08 +0200
Subject: [PATCH] fixing options

---
 Shell/Options.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Shell/Options.cpp b/Shell/Options.cpp
index 84b24d86e6..819a724378 100644
--- 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";