projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6137c7) | patch
Ensure proofs are fully disabled when incompatible (#8092)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 11 Feb 2022 21:36:55 +0000 (15:36 -0600)
committerGitHub <noreply@github.com>
Fri, 11 Feb 2022 21:36:55 +0000 (21:36 +0000)
commitc16b7a2ba98296a82ccf84e015a7e07f8487908d
tree8fd477e06801a2a1d7c0474fdb6641cb05a55ec6tree
parentd6137c76753b0e1043c2ea30deceafaa66e0ddc3commit | diff
Ensure proofs are fully disabled when incompatible (#8092)

Was causing regression failures on proof-new when proofs + sygus are enabled. We now force proofs to be disabled.
src/smt/set_defaults.cpp diff | blob | history
src/theory/datatypes/datatypes_rewriter.cpp diff | blob | history