Run SMT solver tests in CMake/CTest builds

This will help us get towards feature partity between Makefile and CMake-based
set-ups.

Author: tautschnig

regression/cbmc/CMakeLists.txt

@@ -8,3 +8,15 @@ add_test_pl_profile(
     "-C;-X;thorough-paths;-X;smt-backend;-s;paths-lifo"
     "CORE"
 )
+
+add_test_pl_profile(
+    "cbmc-cprover-smt2"
+    "$<TARGET_FILE:cbmc> --cprover-smt2"
+    "-C;-X;broken-smt-backend;-s;cprover-smt2"
+    "CORE"
+)
+set_property(
+  TEST "cbmc-cprover-smt2-CORE"
+  PROPERTY ENVIRONMENT
+    "PATH=$ENV{PATH}:${CMAKE_BINARY_DIR}/bin"
+)