diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-01-03 14:48:18 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-01-03 14:48:18 -0800 |
| commit | d96815ffdd4ee0bf9422b7f0194a23a0a42462c3 (patch) | |
| tree | 09c70dd1eae3c2a9ff51a9eadcd462677ba13808 /test/unit/api/CMakeLists.txt | |
| parent | 99278c017e5b198b416d4a82b0ea63f99d02e739 (diff) | |
API/Smt2 parser: refactor termAtomic (#2674)
Diffstat (limited to 'test/unit/api/CMakeLists.txt')
| -rw-r--r-- | test/unit/api/CMakeLists.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt index 8a6be70b9..ca3c59750 100644 --- a/test/unit/api/CMakeLists.txt +++ b/test/unit/api/CMakeLists.txt @@ -1,7 +1,8 @@ #-----------------------------------------------------------------------------# # Add unit tests +cvc4_add_unit_test_black(datatype_api_black api) +cvc4_add_unit_test_black(opterm_black api) cvc4_add_unit_test_black(solver_black api) cvc4_add_unit_test_black(sort_black api) cvc4_add_unit_test_black(term_black api) -cvc4_add_unit_test_black(opterm_black api) |