From 57c2c1f7a85979e8b43bf3342b4b816e84a1fb70 Mon Sep 17 00:00:00 2001
From: reuk <reuk@users.noreply.github.com>
Date: Thu, 12 Oct 2017 11:42:50 +0100
Subject: [PATCH] Label tests with CBMC

---
 regression/CMakeLists.txt | 2 +-
 unit/CMakeLists.txt       | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
index 79ae5d70a12..58558146ecd 100644
--- a/regression/CMakeLists.txt
+++ b/regression/CMakeLists.txt
@@ -10,7 +10,7 @@ macro(add_test_pl_profile name cmdline flag profile)
         WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}"
     )
     set_tests_properties("${name}-${profile}" PROPERTIES
-        LABELS "${profile}"
+        LABELS "${profile};CBMC"
     )
 endmacro(add_test_pl_profile)
 
diff --git a/unit/CMakeLists.txt b/unit/CMakeLists.txt
index 6549cdc626a..ec72a13894b 100644
--- a/unit/CMakeLists.txt
+++ b/unit/CMakeLists.txt
@@ -47,7 +47,7 @@ add_test(
     COMMAND $<TARGET_FILE:unit>
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
 )
-set_tests_properties(unit PROPERTIES LABELS CORE)
+set_tests_properties(unit PROPERTIES LABELS "CORE;CBMC")
 
 add_executable(miniBDD miniBDD.cpp)
 target_include_directories(miniBDD
@@ -58,7 +58,7 @@ target_include_directories(miniBDD
 )
 target_link_libraries(miniBDD solvers ansi-c)
 add_test(NAME miniBDD COMMAND $<TARGET_FILE:miniBDD>)
-set_tests_properties(miniBDD PROPERTIES LABELS CORE)
+set_tests_properties(miniBDD PROPERTIES LABELS "CORE;CBMC")
 
 add_executable(string_utils string_utils.cpp)
 target_include_directories(string_utils
@@ -69,7 +69,7 @@ target_include_directories(string_utils
 )
 target_link_libraries(string_utils solvers ansi-c)
 add_test(NAME string_utils COMMAND $<TARGET_FILE:string_utils>)
-set_tests_properties(string_utils PROPERTIES LABELS CORE)
+set_tests_properties(string_utils PROPERTIES LABELS "CORE;CBMC")
 
 add_executable(sharing_node sharing_node.cpp)
 target_include_directories(sharing_node
@@ -80,4 +80,4 @@ target_include_directories(sharing_node
 )
 target_link_libraries(sharing_node util)
 add_test(NAME sharing_node COMMAND $<TARGET_FILE:sharing_node>)
-set_tests_properties(sharing_node PROPERTIES LABELS CORE)
+set_tests_properties(sharing_node PROPERTIES LABELS "CORE;CBMC")