From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 17 Mar 2022 19:59:43 +0000 (-0700)
Subject: ctest: Fix labels for python unit tests. (#8328)
X-Git-Tag: cvc5-1.0.0~225
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=edd20094addd10f44df924581b88b52bd4648ca2;p=cvc5.git

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 7184ba02c..3c1a811f8 100644
--- 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