From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 9 Sep 2013 19:26:50 +0000 (-0400)
Subject: Fix portfolio on bug411.smt2.  (get-model command should only go to last winner)
X-Git-Tag: cvc5-1.0.0~7287^2~24
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ed0b432fd9018f55755a1e6293e66540d58e2db;p=cvc5.git

Fix portfolio on bug411.smt2.  (get-model command should only go to last winner)
---

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 2cdcc344c..918b554f0 100644
--- 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 ||