Temp test runner update

Author: thomasspriggs

regression/cbmc/CMakeLists.txt

@@ -33,8 +33,8 @@ add_test_pl_profile(
 # If `-X` (exclude flag) is passed, test.pl will exclude the tests matching the label following it.
 add_test_pl_profile(
   "cbmc-new-smt-backend"
-  "$<TARGET_FILE:cbmc> --incremental-smt2-solver 'z3 --smt2 -in'"
-  "${gcc_only_string}-X;no-new-smt;-s;new-smt-backend"
+  "$<TARGET_FILE:cbmc> --verbosity 10 --incremental-smt2-solver 'z3 --smt2 -in'"
+  "${gcc_only_string}-s;new-smt-backend"
   "CORE"
 )