projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba24986) | patch
Add API unit tests for statistics (#8341)
authorGereon Kremer <gkremer@cs.stanford.edu>
Wed, 23 Mar 2022 22:59:23 +0000 (23:59 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 22:59:23 +0000 (22:59 +0000)
commit81eb37c14982676242779547349984931e99f110
tree4685aff675aec2cd6ed5b8b6e976b4572b141d0dtree
parentba24986fe2d56e6664dc9aa72bb35e73b0a469fecommit | diff
Add API unit tests for statistics (#8341)

This PR adds some unit tests that cover getStatistics() and the api::Stat class.
docs/statistics.rst diff | blob | history
examples/api/java/Statistics.java diff | blob | history
src/api/java/io/github/cvc5/api/Statistics.java diff | blob | history
src/api/java/jni/statistics.cpp diff | blob | history
src/options/mkoptions.py diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history