Make CMake regression test set match the Makefile one

tautschnig · tautschnig · commit 80112d8d81b2 · 2018-06-06T16:12:15.000Z
smt2_solver was missing.
diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
@@ -30,6 +30,7 @@ add_subdirectory(goto-instrument)
 add_subdirectory(cpp)
 add_subdirectory(cbmc-cover)
 add_subdirectory(goto-instrument-typedef)
+add_subdirectory(smt2_solver)
 add_subdirectory(strings)
 add_subdirectory(invariants)
 add_subdirectory(goto-diff)
diff --git a/regression/smt2_solver/CMakeLists.txt b/regression/smt2_solver/CMakeLists.txt
@@ -0,0 +1,3 @@
+add_test_pl_tests(
+    "$<TARGET_FILE:smt2_solver>"
+)
