From edd20094addd10f44df924581b88b52bd4648ca2 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 17 Mar 2022 12:59:43 -0700 Subject: [PATCH] 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". --- test/unit/api/python/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2