Add goto-harness regression test

hannes-steffenhagen-diffblue · hannes-steffenhagen-diffblue · commit 4064bc7ac6a4 · 2019-01-25T18:36:22.000Z
This merely shows that the goto-harness executable was built (and indeed
executable)
diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
@@ -47,3 +47,4 @@ add_subdirectory(cbmc-cpp)
 add_subdirectory(goto-cc-goto-analyzer)
 add_subdirectory(systemc)
 add_subdirectory(contracts)
+add_subdirectory(goto-harness)
diff --git a/regression/goto-harness/CMakeLists.txt b/regression/goto-harness/CMakeLists.txt
@@ -0,0 +1,2 @@
+add_test_pl_tests(
+  "$<TARGET_FILE:goto-harness>")
diff --git a/regression/goto-harness/goto-harness-exists/test.desc b/regression/goto-harness/goto-harness-exists/test.desc
@@ -0,0 +1,6 @@
+CORE
+dummy
+--version
+^\d+\.\d+ \([^)]+\)
+^EXIT=0$
+^SIGNAL=0$
