projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0045ba2) | patch
(proof-new) Add proof-new to options file (#4641)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 22 Jun 2020 17:23:36 +0000 (12:23 -0500)
committerGitHub <noreply@github.com>
Mon, 22 Jun 2020 17:23:36 +0000 (12:23 -0500)
commitd85e90bfcc0bebe52b2da0bad638bc2fe9ef50b0
tree9a161fca85a32a9a75efe34ce7c74ec0795656abtree
parent0045ba2af7b31243c545828494d11f53e16f59dbcommit | diff
(proof-new) Add proof-new to options file (#4641)

Adds proof-new as an option. This is required for adding code that is guarded by this option while we are in the process of merging work on the new proofs infrastructure.

Enabling the option currently throws an option exception.
src/options/smt_options.toml diff | blob | history
src/smt/set_defaults.cpp diff | blob | history