projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ca5ef6) | patch
Make printStatisticsSafe public (#8721)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 4 May 2022 17:21:41 +0000 (10:21 -0700)
committerGitHub <noreply@github.com>
Wed, 4 May 2022 17:21:41 +0000 (17:21 +0000)
commit3db254027b7e73d009dc7e587b4582b3372bb5ad
tree1fff43b126b5d11202867c89cb42a2c123d5cba8tree
parent4ca5ef61d3ab4a9bdd60936e5d20ca371a87d011commit | diff
Make printStatisticsSafe public (#8721)

Solver::printStatisticsSafe() is private right now. There is no real reason for that, and as we claim that the driver is only using the regular API we should just make it public.
src/api/cpp/cvc5.h diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history
test/unit/api/cpp/solver_white.cpp diff | blob | history
test/unit/api/java/UncoveredTest.cpp diff | blob | history
test/unit/api/python/test_uncovered.cpp diff | blob | history