diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-17 15:45:26 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-17 20:45:26 +0000 |
| commit | a3e250159a0179c61965f4c9f059f99758f79e8e (patch) | |
| tree | 3cd95277d6a7b11a53d5cade0d257a02706bf008 /src/api/cvc4cpp.cpp | |
| parent | 7e9a4a35084c4e9dcb047a4593dcdf256244bf9b (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.
Diffstat (limited to 'src/api/cvc4cpp.cpp')
0 files changed, 0 insertions, 0 deletions