From 0c1f01ec53885dc9c1fb600da0481ba7e1393df5 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 5 Nov 2018 09:43:29 -0800 Subject: New C++ API: Split unit tests. (#2688) --- test/unit/api/CMakeLists.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/unit/api/CMakeLists.txt') diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt index 025575e41..eeab46f99 100644 --- a/test/unit/api/CMakeLists.txt +++ b/test/unit/api/CMakeLists.txt @@ -1,5 +1,6 @@ #-----------------------------------------------------------------------------# # Add unit tests -cvc4_add_unit_test_black(api_guards_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) -- cgit v1.2.3