Make CMake regression test set match the Makefile one

tautschnig · tautschnig · commit d8f1f89f5e05 · 2018-06-06T15:55:47.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)
