Merge pull request #3202 from tautschnig/cmake-regression-fix

Daniel Kroening · web-flow · commit 4aa01f199f69 · 2018-10-18T14:39:15.000+01:00
Add contracts directory to regression tests run via CMake
diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
@@ -43,3 +43,4 @@ add_subdirectory(goto-cc-cbmc)
 add_subdirectory(cbmc-cpp)
 add_subdirectory(goto-cc-goto-analyzer)
 add_subdirectory(systemc)
+add_subdirectory(contracts)
