diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-10 18:29:57 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-11 02:29:57 +0000 |
commit | 98abdd354351cdf3d8fb64a4eeca38db63cbbeea (patch) | |
tree | 6d14f38b6d19b9419a2e848c3a6cfef6ada3b2a6 /test/api/CMakeLists.txt | |
parent | f7b7ece27eae3785425410d7b37b60c203602ccc (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.
Diffstat (limited to 'test/api/CMakeLists.txt')
-rw-r--r-- | test/api/CMakeLists.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/api/CMakeLists.txt b/test/api/CMakeLists.txt index 8750ff8fe..bc185140f 100644 --- a/test/api/CMakeLists.txt +++ b/test/api/CMakeLists.txt @@ -44,8 +44,6 @@ cvc4_add_api_test(ouroborous) cvc4_add_api_test(reset_assertions) cvc4_add_api_test(sep_log_api) cvc4_add_api_test(smt2_compliance) -# TODO(cvc4-projects#209): Add methods for retrieving statistics to new API -# cvc4_add_api_test(statistics) cvc4_add_api_test(two_solvers) cvc4_add_api_test(issue5074) cvc4_add_api_test(issue4889) |