projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70c0635) | patch
(proof-new) Improve printing and debugging for pedantic checking (#5337)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 Nov 2020 15:08:13 +0000 (09:08 -0600)
committerGitHub <noreply@github.com>
Thu, 12 Nov 2020 15:08:13 +0000 (09:08 -0600)
commit2de877854e590e8edf89ffb1d940cd4c9717f195
tree8e19970e50c797c6b5691eeb6d84012fcf7d17f5tree
parent70c0635bf490d237088b6675254408d965468272commit | diff
(proof-new) Improve printing and debugging for pedantic checking  (#5337)

This improves trace/error messages for proof-new-pedantic, and also merges the proof-new-pedantic-eager with the proof-new-eager-checking option.
src/expr/proof_checker.cpp diff | blob | history
src/expr/proof_checker.h diff | blob | history
src/options/smt_options.toml diff | blob | history
src/smt/proof_post_processor.cpp diff | blob | history