diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-28 20:18:46 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-28 20:18:46 +0000 |
commit | b20f2417722f00f8849d91c1ed8a18599bc17850 (patch) | |
tree | f74bcc8b0f7a468ee8317c790f46103fa2836cf1 /src/main/command_executor_portfolio.cpp | |
parent | 29d566ef705e4140c7f8f2fc4c477b4dab66fb86 (diff) |
treat all get commands like getValue (send only to lastWinner)
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
-rw-r--r-- | src/main/command_executor_portfolio.cpp | 10 |
1 files changed, 9 insertions, 1 deletions
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; } |