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 b7de1cbb0..6091e3275 100644 --- a/test/python/CMakeLists.txt +++ b/test/python/CMakeLists.txt @@ -30,3 +30,4 @@ endmacro() cvc5_add_python_api_test(pytest_solver unit/api/test_solver.py) 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_grammar unit/api/test_grammar.py) |