diff options
Diffstat (limited to 'test/python/CMakeLists.txt')
-rw-r--r-- | test/python/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/python/CMakeLists.txt b/test/python/CMakeLists.txt index 88fd817f2..54134b510 100644 --- a/test/python/CMakeLists.txt +++ b/test/python/CMakeLists.txt @@ -32,3 +32,4 @@ cvc5_add_python_api_test(pytest_sort unit/api/test_sort.py) cvc5_add_python_api_test(pytest_term unit/api/test_term.py) cvc5_add_python_api_test(pytest_datatype_api unit/api/test_datatype_api.py) cvc5_add_python_api_test(pytest_grammar unit/api/test_grammar.py) +cvc5_add_python_api_test(pytest_to_python_obj unit/api/test_to_python_obj.py) |