projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d565fae)
Fix portfolio on bug411.smt2. (get-model command should only go to last winner)
authorMorgan Deters <mdeters@cs.nyu.edu>
Mon, 9 Sep 2013 19:26:50 +0000 (15:26 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 9 Sep 2013 21:21:41 +0000 (17:21 -0400)
src/main/command_executor_portfolio.cpp patch | blob | history

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 2cdcc344cfbc0d426cf234a3c76d05fe00c7df68..918b554f0ff458e0b5da6805b5e50501b4fcb2cb 100644 (file)
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -187,6 +187,7 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
      dynamic_cast<QueryCommand*>(cmd) != NULL) {
     mode = 1;
   } else if(dynamic_cast<GetValueCommand*>(cmd) != NULL ||
+            dynamic_cast<GetModelCommand*>(cmd) != NULL ||
             dynamic_cast<GetAssignmentCommand*>(cmd) != NULL ||
             dynamic_cast<GetModelCommand*>(cmd) != NULL ||
             dynamic_cast<GetProofCommand*>(cmd) != NULL ||