Merge pull request #7742 from tautschnig/bugfixes/goto-inspect-test-makefile

Add goto-inspect regression tests to Makefile builds

Author: tautschnig

regression/Makefile

@@ -22,6 +22,7 @@ DIRS = cbmc-shadow-memory \
        goto-instrument-json \
        goto-instrument-wmm-core \
        goto-instrument-typedef \
+       goto-inspect \
        smt2_solver \
        smt2_strings \
        strings \

regression/goto-inspect/Makefile

@@ -0,0 +1,24 @@
+default: tests.log
+
+include ../../src/config.inc
+include ../../src/common
+
+ifeq ($(BUILD_ENV_),MSVC)
+	exe=../../../src/goto-cc/goto-cl
+	is_windows=true
+	excluded_tests = -X winbug
+else
+	exe=../../../src/goto-cc/goto-cc
+	is_windows=false
+endif
+
+test:
+	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-inspect/goto-inspect $(is_windows)' $(excluded_tests)
+
+tests.log:
+	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-inspect/goto-inspect $(is_windows)' $(excluded_tests)
+
+clean:
+	find . -name '*.out' -execdir $(RM) '{}' \;
+	find . -name '*.gb' -execdir $(RM) '{}' \;
+	$(RM) tests.log