diff options
| author | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-18 15:01:59 -0800 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-18 15:01:59 -0800 |
| commit | 4f98fc506f3cb09a59d8418fd0043e59e4aee57e (patch) | |
| tree | 864e93b36eeb52304542f108d2067ea5c37d6dfd /src/smt | |
| parent | ba7dd534de8f5d9bd746a7ed4c4a7b6ba11628e3 (diff) | |
Add support for set-logic ALL, fix compiler error in GCC 6.1
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/smt_engine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 38347508c..5fc96aa6e 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1645,7 +1645,7 @@ void SmtEngine::setDefaults() { // Set decision mode based on logic (if not set by user) if(!options::decisionMode.wasSetByUser()) { decision::DecisionMode decMode = - // ALL_SUPPORTED + // ALL d_logic.hasEverything() ? decision::DECISION_STRATEGY_JUSTIFICATION : ( // QF_BV (not d_logic.isQuantified() && @@ -1676,7 +1676,7 @@ void SmtEngine::setDefaults() { ); bool stoponly = - // ALL_SUPPORTED + // ALL d_logic.hasEverything() || d_logic.isTheoryEnabled(THEORY_STRINGS) ? false : ( // QF_AUFLIA (not d_logic.isQuantified() && |