projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a3273b) | patch
Add trace to see inferences in final proof (#7813)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 15 Dec 2021 15:15:26 +0000 (09:15 -0600)
committerGitHub <noreply@github.com>
Wed, 15 Dec 2021 15:15:26 +0000 (15:15 +0000)
commit5c82e1dd02c304dd34c72ffcc966840e8b3005ff
treec113fdf0bf2396dbe4970dcd84c5b88b16bd4624tree
parent7a3273b3047120a0c69bbc040166895f69a3b2e2commit | diff
Add trace to see inferences in final proof (#7813)

Adds -t im-pf to see which inferences occur in the final proof. Must be used with proofs and --proof-annotate.
src/smt/proof_final_callback.cpp diff | blob | history