Regression tests/CMake: make test labels unique

We already have cbmc-new-smt-backend in regression/cbmc. Having
duplicate labels confuses ctest for it won't able able to uniquely
identify test sets.

Author: tautschnig

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"