diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-04 16:47:43 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-04 16:47:43 -0700 |
commit | 682a9ad81e7819a391b6eac49ea989d75c9774cc (patch) | |
tree | 2fc80d937f89e9b015c274a5083b567b7f77e1b2 /test/unit/api/CMakeLists.txt | |
parent | 13758686d92eb5a6cfb30d830a35b20c14213717 (diff) |
New C++ API: Add checks for Sorts. (#2519)
Diffstat (limited to 'test/unit/api/CMakeLists.txt')
-rw-r--r-- | test/unit/api/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt new file mode 100644 index 000000000..90d34f7c6 --- /dev/null +++ b/test/unit/api/CMakeLists.txt @@ -0,0 +1,4 @@ +#-----------------------------------------------------------------------------# +# Add unit tests + +cvc4_add_unit_test_black(api_guards_black api) |