Add CORE label to unit-xfail and java-unit-xfail tests

tautschnig · kiro-agent · tautschnig · commit ec7cebe6ffd3 · 2026-03-16T10:44:42.000Z
These tests were missing the CORE label, so they were excluded from
coverage collection (ctest -V -L CORE). This meant XFAIL test code
never executed during coverage runs, producing 0% coverage for any
changes to XFAIL tests.

Co-authored-by: Kiro &lt;kiro-agent@users.noreply.github.com&gt;
diff --git a/jbmc/unit/CMakeLists.txt b/jbmc/unit/CMakeLists.txt
@@ -43,4 +43,4 @@ add_test(
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
 )
 
-set_tests_properties(java-unit PROPERTIES LABELS "CORE;CBMC")
+set_tests_properties(java-unit java-unit-xfail PROPERTIES LABELS "CORE;CBMC")
diff --git a/unit/CMakeLists.txt b/unit/CMakeLists.txt
@@ -111,4 +111,4 @@ add_test(
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
 )
 
-set_tests_properties(unit PROPERTIES LABELS "CORE;CBMC")
+set_tests_properties(unit unit-xfail PROPERTIES LABELS "CORE;CBMC")

Original file line number	Diff line number	Diff line change
`@@ -43,4 +43,4 @@ add_test(`
`43`	`43`	`WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}`
`44`	`44`	`)`
`45`	`45`
`46`		`-set_tests_properties(java-unit PROPERTIES LABELS "CORE;CBMC")`
	`46`	`+set_tests_properties(java-unit java-unit-xfail PROPERTIES LABELS "CORE;CBMC")`
Original file line number	Diff line number	Diff line change
`@@ -111,4 +111,4 @@ add_test(`
`111`	`111`	`WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}`
`112`	`112`	`)`
`113`	`113`
`114`		`-set_tests_properties(unit PROPERTIES LABELS "CORE;CBMC")`
	`114`	`+set_tests_properties(unit unit-xfail PROPERTIES LABELS "CORE;CBMC")`