projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 696b9d7) | patch
Handle failures for sygus QE preprocess (#4072)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Mar 2020 17:41:49 +0000 (12:41 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Mar 2020 17:41:49 +0000 (12:41 -0500)
commited2aa5d552a86fe3e4798ef03c995f54abe20cb9
treee2195f62132de9dc009bc91a3a46380404fcfa3atree
parent696b9d7e06b132bd3cb2d343acecba775e141e24commit | diff
Handle failures for sygus QE preprocess (#4072)

If the user explicitly disabled the QE algorithm and asked for QE, then we should resort to normal methods. Fixes #4064 and fixes #4109.
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/sygus/synth_engine.cpp diff | blob | history