ctest: Fix labels for python unit tests. (#8328)

Previously, Python unit tests were labeled with one single label "unit
python". This fixes their labeling to two separate labels, "unit" and
"python".

diff --git a/test/unit/api/python/CMakeLists.txt b/test/unit/api/python/CMakeLists.txt
index 7184ba02c9ccd09cd68516938a1a905c0a9d759f..3c1a811f8a2b315c6fc3df19649bf7c58236c6d6 100644 (file)
--- a/test/unit/api/python/CMakeLists.txt
+++ b/test/unit/api/python/CMakeLists.txt
@@ -26,7 +26,7 @@ macro(cvc5_add_python_api_unit_test name filename)
             -m pytest ${CMAKE_CURRENT_SOURCE_DIR}/${filename}
     # directory for importing the python bindings
     WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/src/api/python)
-    set_tests_properties(${test_name} PROPERTIES LABELS "unit python")
+    set_tests_properties(${test_name} PROPERTIES LABELS "unit;python")
 endmacro()
 
 # add specific test files