projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e9a4a3) | patch
(proof-new) Fixes to set defaults (#6163)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 17 Mar 2021 20:45:26 +0000 (15:45 -0500)
committerGitHub <noreply@github.com>
Wed, 17 Mar 2021 20:45:26 +0000 (20:45 +0000)
commita3e250159a0179c61965f4c9f059f99758f79e8e
tree3cd95277d6a7b11a53d5cade0d257a02706bf008tree
parent7e9a4a35084c4e9dcb047a4593dcdf256244bf9bcommit | diff
(proof-new) Fixes to set defaults (#6163)

This copies most of the remaining changes to set_defaults.cpp from proof-new.

In particular, it recognizes when proofs must be disabled.

This is required to fix the regressions (locally) and the nightlies.
src/smt/set_defaults.cpp diff | blob | history