diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-04 13:49:36 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-04 13:49:36 -0400 |
| commit | fc573f3512b5345763755c9d7a061d430c46ae5f (patch) | |
| tree | e4ad8499ad42de2406a481dd338bfd4e5a4566f8 /src/main/command_executor_portfolio.cpp | |
| parent | 2f4ffdb91aa9d6bc379c26eafed055334f505899 (diff) | |
Update command_executor_portfolio.cpp
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
| -rw-r--r-- | src/main/command_executor_portfolio.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp index fde9c1c85..7d35a443a 100644 --- a/src/main/command_executor_portfolio.cpp +++ b/src/main/command_executor_portfolio.cpp @@ -373,8 +373,8 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd) status = doCommandSingleton(gp); } else if( d_options[options::dumpInstantiations] && ( ( d_options[options::instFormatMode]!=INST_FORMAT_MODE_SZS && - ( res.asSatisfiabilityResult() == Result::SAT || (res.isUnknown() && res.whyUnknown() == Result::INCOMPLETE) ) ) || - res.asSatisfiabilityResult() == Result::UNSAT ) ) { + ( d_result.asSatisfiabilityResult() == Result::SAT || (d_result.isUnknown() && d_result.whyUnknown() == Result::INCOMPLETE) ) ) || + d_result.asSatisfiabilityResult() == Result::UNSAT ) ) { Command* gi = new GetInstantiationsCommand(); status = doCommandSingleton(gi); } else if( d_options[options::dumpUnsatCores] && |