Merge pull request #7433 from thomasspriggs/tas/regression_test_label_fix

Regression tests/CMake: make SMT test labels unique

Author: thomasspriggs

regression/cbmc-primitives/CMakeLists.txt

@@ -7,7 +7,7 @@ if(Z3_EXISTS)
 
     # If `-I` (include flag) is passed, test.pl will run only the tests matching the label following it.
     add_test_pl_profile(
-            "cbmc-new-smt-backend"
+            "cbmc-primitives-new-smt-backend"
             "$<TARGET_FILE:cbmc> --incremental-smt2-solver 'z3 --smt2 -in' --slice-formula"
             "-I;new-smt-backend;-s;new-smt-backend"
             "CORE"