Mute `define-fun` command generated for named terms. (#7788)

[cvc5.git] / test / CMakeLists.txt

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index d3ff709ca30f63025436e3be137bad8415899ea5..feafc418afe342684f5de9001f12eeb11112eaf0 100644 (file)
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -37,12 +37,5 @@ add_custom_target(check
 
 add_subdirectory(regress)
 add_subdirectory(api EXCLUDE_FROM_ALL)
-
-if(ENABLE_UNIT_TESTING)
-  add_subdirectory(unit EXCLUDE_FROM_ALL)
-endif()
-
-# add Python bindings tests if building with Python bindings
-if (BUILD_BINDINGS_PYTHON)
-  add_subdirectory(python)
-endif()
+add_subdirectory(binary EXCLUDE_FROM_ALL)
+add_subdirectory(unit EXCLUDE_FROM_ALL)