diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-17 22:04:41 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-17 22:04:41 +0000 |
| commit | f192e60e8ace79f06d57a6043e77fb8fb48dbabc (patch) | |
| tree | b1464eaf4300332c073d12a5d725336198d30193 /src/prop/theory_proxy.cpp | |
| parent | cee98d92b912c584f460882ea2f00de6d8e49586 (diff) | |
--decision=justification-stoponly : use decision engine only for stopping
search early, not to make decisions
new options.h :)
Diffstat (limited to 'src/prop/theory_proxy.cpp')
| -rw-r--r-- | src/prop/theory_proxy.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp index 93f8c0a5d..15a383d92 100644 --- a/src/prop/theory_proxy.cpp +++ b/src/prop/theory_proxy.cpp @@ -92,7 +92,7 @@ SatLiteral TheoryProxy::getNextDecisionRequest(bool &stopSearch) { if(stopSearch) { Trace("decision") << " *** Decision Engine stopped search *** " << std::endl; } - return ret; + return Options::current()->decisionOptions.stopOnly ? undefSatLiteral : ret; } bool TheoryProxy::theoryNeedCheck() const { |