Make CMake regression test set match the Makefile one

tautschnig · tautschnig · commit 2de5535f347d · 2018-06-06T13:37:10.000Z
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)
