From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 28 Nov 2012 20:18:46 +0000 (+0000)
Subject: treat all get commands like getValue (send only to lastWinner)
X-Git-Tag: cvc5-1.0.0~7539
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b20f2417722f00f8849d91c1ed8a18599bc17850;p=cvc5.git

treat all get commands like getValue (send only to lastWinner)
---

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 5953373ff..a8159ef80 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -189,7 +189,15 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
   if(dynamic_cast<CheckSatCommand*>(cmd) != NULL ||
     dynamic_cast<QueryCommand*>(cmd) != NULL) {
     mode = 1;
-  } else if(dynamic_cast<GetValueCommand*>(cmd) != NULL) {
+  } else if(dynamic_cast<GetValueCommand*>(cmd) != NULL ||
+            dynamic_cast<GetAssignmentCommand*>(cmd) != NULL ||
+            dynamic_cast<GetModelCommand*>(cmd) != NULL ||
+            dynamic_cast<GetProofCommand*>(cmd) != NULL ||
+            dynamic_cast<GetUnsatCoreCommand*>(cmd) != NULL ||
+            dynamic_cast<GetAssertionsCommand*>(cmd) != NULL ||
+            dynamic_cast<GetInfoCommand*>(cmd) != NULL ||
+            dynamic_cast<GetOptionCommand*>(cmd) != NULL ||
+            false) {
     mode = 2;
   }