Merge pull request #5241 from danpoe/refactor/clean-up-regression-test-logs

Clean up and ignore files created when regression tests are run

Author: chrisr-diffblue

.gitignore

@@ -56,6 +56,8 @@ src/cpp/cprover_library.inc
 # regression/test files
 *.out
 regression/**/tests.log
+regression/**/tests-*.log
+regression/**/*.goto-cc-saved
 regression/**/*.gb
 regression/**/*.smt2
 jbmc/regression/**/tests.log

regression/ansi-c/Makefile

@@ -31,4 +31,4 @@ show:
 clean:
 	find -name '*.out' -execdir $(RM) '{}' \;
 	find -name '*.gb' -execdir $(RM) '{}' \;
-	$(RM) tests.log
+	$(RM) tests.log tests-c++-front-end.log

regression/memory-analyzer/Makefile

@@ -4,6 +4,7 @@ GOTO_GCC_EXE=../../../src/goto-cc/goto-gcc
 MEMORY_ANALYZER_EXE=../../../src/memory-analyzer/memory-analyzer
 
 clean:
+	find -name '*.gb' -execdir $(RM) '{}' \;
 	find -name '*.exe' -execdir $(RM) '{}' \;
 	find -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log