projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2cce73) | patch
[proofs] Add method to CDProof to obtain number of proof nodes (#7725)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Wed, 1 Dec 2021 19:41:11 +0000 (16:41 -0300)
committerGitHub <noreply@github.com>
Wed, 1 Dec 2021 19:41:11 +0000 (19:41 +0000)
commitd676cc2b2d279041d26804c47494a2206bb74874
tree05c4356d43f81496478b7d2cdef0a2f72de1d48btree
parentb2cce731768066e5bdc62838cf14ae9e528da95ecommit | diff
[proofs] Add method to CDProof to obtain number of proof nodes (#7725)

Useful for example to easily see by how much a proof grew after some reconstruction expansion.
src/proof/proof.cpp diff | blob | history
src/proof/proof.h diff | blob | history