projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c37d6a) | patch
Add `getStatistics()` to python API (#8343)
authorGereon Kremer <gkremer@cs.stanford.edu>
Sun, 20 Mar 2022 16:39:41 +0000 (17:39 +0100)
committerGitHub <noreply@github.com>
Sun, 20 Mar 2022 16:39:41 +0000 (09:39 -0700)
commit1cfc902c459ca2e4f8f2946564de6f684164ad97
tree1bd89e0fbb59b9d7fd27e0ea7529ff1ece365274tree
parent3c37d6aeb7028923ea1827a75de54bd6947b955bcommit | diff
Add `getStatistics()` to python API (#8343)

This PR adds Solver.getStatistics() to the python API. To make the usage a bit more pythonic, we do not expose the iterator interface of api::Statistics but instead offer .get() which returns the whole range as a dictionary. The ::get() method to obtain a single statistic value is instead implemented via __getitem__().
The PR also includes the corresponding unit tests.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/python/test_solver.py diff | blob | history