projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7b7ece) | patch
Remove obsolete test/api/statistics.cpp. (#6116)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 11 Mar 2021 02:29:57 +0000 (18:29 -0800)
committerGitHub <noreply@github.com>
Thu, 11 Mar 2021 02:29:57 +0000 (02:29 +0000)
commit98abdd354351cdf3d8fb64a4eeca38db63cbbeea
tree6d14f38b6d19b9419a2e848c3a6cfef6ada3b2a6tree
parentf7b7ece27eae3785425410d7b37b60c203602ccccommit | diff
Remove obsolete test/api/statistics.cpp. (#6116)

This test shouldn't be an API test and is not portable to the new API
right now statistics are not retrievable via the API. When we add
methods for retrieving statistics to the new API, we'll need thorough
unit tests this, which makes this test obsolete.
test/api/CMakeLists.txt diff | blob | history
test/api/statistics.cpp [deleted file] blob | history