Add goto-harness regression test

This merely shows that the goto-harness executable was built (and indeed
executable)

Author: hannes-steffenhagen-diffblue

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)

regression/Makefile

@@ -16,6 +16,7 @@ DIRS = cbmc \
        test-script \
        goto-analyzer-taint \
        goto-gcc \
+       goto-harness \
        goto-cl \
        goto-cc-cbmc \
        cbmc-cpp \

regression/goto-harness/CMakeLists.txt

@@ -0,0 +1,2 @@
+add_test_pl_tests(
+  "$<TARGET_FILE:goto-harness>")

regression/goto-harness/Makefile

@@ -0,0 +1,21 @@
+default: tests.log
+
+GOTO_HARNESS_EXE=../../../src/goto-harness/goto-harness
+
+test:
+	@../test.pl -p -c ${GOTO_HARNESS_EXE}
+
+tests.log: ../test.pl
+	@../test.pl -p -c ${GOTO_HARNESS_EXE}
+
+show:
+	@for dir in *; do \
+		if [ -d "$$dir" ]; then \
+			vim -o "$$dir/*.c" "$$dir/*.out"; \
+		fi; \
+	done;
+
+clean:
+	find -name '*.out' -execdir $(RM) '{}' \;
+	find -name '*.gb' -execdir $(RM) {} \;
+	$(RM) tests.log

regression/goto-harness/goto-harness-exists/test.desc

@@ -0,0 +1,6 @@
+CORE
+dummy
+--version
+^\d+\.\d+ \([^)]+\)
+^EXIT=0$
+^SIGNAL=0$