projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81544bb) | patch
[proof] Add getProof to API and use it in GetProofCommand (#6974)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Wed, 4 Aug 2021 15:28:12 +0000 (12:28 -0300)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 15:28:12 +0000 (10:28 -0500)
commit5f89c684f95f16bdb5953fc543a36115093f1982
treeb483a793b10e3cc147b4629a0eda3933140ca4f2tree
parent81544bb6de5b21db7ed5e41d56277105bbea103dcommit | diff
[proof] Add getProof to API and use it in GetProofCommand (#6974)

Also adds a call to get proof in a unit test.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/smt/command.cpp diff | blob | history
test/unit/api/solver_black.cpp diff | blob | history