diff --git a/regression/acceleration/Makefile b/regression/acceleration/Makefile
index 03c591b8440..872a4ab5116 100644
--- a/regression/acceleration/Makefile
+++ b/regression/acceleration/Makefile
@@ -20,13 +20,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../accelerate.sh $(GOTO_CC_EXE) $(GOTO_INSTRUMENT_EXE) $(CBMC_EXE) $(is_windows)"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	$(RM) tests.log
 	find . -name '*.gb' -execdir $(RM) '{}' \;
diff --git a/regression/ansi-c/Makefile b/regression/ansi-c/Makefile
index bc53fbc70f2..29b7015a789 100644
--- a/regression/ansi-c/Makefile
+++ b/regression/ansi-c/Makefile
@@ -35,13 +35,6 @@ ifneq ($(BUILD_ENV_),MSVC)
 	@../test.pl -e -p -c "$(exe) -xc++ -D_Bool=bool" -I test-c++-front-end -s c++-front-end $(excluded_tests)
 endif
 
-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) '{}' \;
diff --git a/regression/array-refinement-with-incr/Makefile b/regression/array-refinement-with-incr/Makefile
index 8824be6cc0e..68dce5b6d95 100644
--- a/regression/array-refinement-with-incr/Makefile
+++ b/regression/array-refinement-with-incr/Makefile
@@ -8,13 +8,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c $(TOOL)
 
-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) '{}' \;
diff --git a/regression/array-refinement/Makefile b/regression/array-refinement/Makefile
index 2cefe6bcecf..cb87039e7d3 100644
--- a/regression/array-refinement/Makefile
+++ b/regression/array-refinement/Makefile
@@ -8,13 +8,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c $(TOOL)
 
-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) '{}' \;
diff --git a/regression/cbmc-concurrency/Makefile b/regression/cbmc-concurrency/Makefile
index d6927f1ddd3..bd3ca1bdf60 100644
--- a/regression/cbmc-concurrency/Makefile
+++ b/regression/cbmc-concurrency/Makefile
@@ -15,13 +15,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" $(no_pthread)
 
-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) '{}' \;
diff --git a/regression/cbmc-cover/Makefile b/regression/cbmc-cover/Makefile
index 49187e872f6..1a63894412b 100644
--- a/regression/cbmc-cover/Makefile
+++ b/regression/cbmc-cover/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/cbmc/cbmc
 
-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) '{}' \;
diff --git a/regression/cbmc-cpp/Makefile b/regression/cbmc-cpp/Makefile
index 9d9896b3774..6fe75e75119 100644
--- a/regression/cbmc-cpp/Makefile
+++ b/regression/cbmc-cpp/Makefile
@@ -23,13 +23,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" $(excluded_tests)
 
-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) '{}' \;
diff --git a/regression/cbmc-incr-oneloop/Makefile b/regression/cbmc-incr-oneloop/Makefile
index f9c89339595..2d19ae61d72 100644
--- a/regression/cbmc-incr-oneloop/Makefile
+++ b/regression/cbmc-incr-oneloop/Makefile
@@ -7,13 +7,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c "perl -e 'alarm shift @ARGV; exec @ARGV' 8 ../../../src/cbmc/cbmc --slice-formula"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@$(RM) *.log
 	@(for dir in *; do $(RM) $$dir/*.out; done;)
diff --git a/regression/cbmc-incr/Makefile b/regression/cbmc-incr/Makefile
index 08b694ea9b5..1de65b50102 100644
--- a/regression/cbmc-incr/Makefile
+++ b/regression/cbmc-incr/Makefile
@@ -9,13 +9,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c "perl -e 'alarm shift @ARGV; exec @ARGV' 30 ../../../src/cbmc/cbmc $(PARAM)"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@$(RM) *.log
 	@(for dir in *; do $(RM) $$dir/*.out; done;)
diff --git a/regression/cbmc-library/Makefile b/regression/cbmc-library/Makefile
index 81fc8e0ddbc..24d3aeacb7d 100644
--- a/regression/cbmc-library/Makefile
+++ b/regression/cbmc-library/Makefile
@@ -13,13 +13,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/cbmc/cbmc $(no_pthread)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/cbmc-primitives/Makefile b/regression/cbmc-primitives/Makefile
index 52f612ffcf6..b91be061c93 100644
--- a/regression/cbmc-primitives/Makefile
+++ b/regression/cbmc-primitives/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/cbmc/cbmc
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/cbmc-sequentialization/Makefile b/regression/cbmc-sequentialization/Makefile
index 8c8a95a9f4d..672dac210bb 100644
--- a/regression/cbmc-sequentialization/Makefile
+++ b/regression/cbmc-sequentialization/Makefile
@@ -14,13 +14,6 @@ test:
 
 tests.log: ../test.pl test
 
-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 '*.smt2' -execdir $(RM) '{}' \;
diff --git a/regression/cbmc-with-incr/Makefile b/regression/cbmc-with-incr/Makefile
index 4389f3bb8ef..1b69101ed35 100644
--- a/regression/cbmc-with-incr/Makefile
+++ b/regression/cbmc-with-incr/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -c "../../../src/cbmc/cbmc --incremental"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@$(RM) *.log
 	@for dir in *; do $(RM) $$dir/*.out; done;
diff --git a/regression/cbmc/Makefile b/regression/cbmc/Makefile
index 079496fc76b..63e9d5894eb 100644
--- a/regression/cbmc/Makefile
+++ b/regression/cbmc/Makefile
@@ -20,13 +20,6 @@ test-paths-lifo:
 
 tests.log: ../test.pl test
 
-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 '*.smt2' -execdir $(RM) '{}' \;
diff --git a/regression/contracts/Makefile b/regression/contracts/Makefile
index 504a174cd81..26ca0a7c48b 100644
--- a/regression/contracts/Makefile
+++ b/regression/contracts/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/cpp-linter/Makefile b/regression/cpp-linter/Makefile
index b5e30ce103c..77e96aaa68b 100644
--- a/regression/cpp-linter/Makefile
+++ b/regression/cpp-linter/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -p -c ../../../scripts/cpplint.py
 
-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) '{}' \;
diff --git a/regression/cpp/Makefile b/regression/cpp/Makefile
index 925dcbaedc3..8d14e00ce1b 100644
--- a/regression/cpp/Makefile
+++ b/regression/cpp/Makefile
@@ -28,13 +28,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c $(exe) $(excluded_tests)
 
-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) '{}' \;
diff --git a/regression/extract_type_header/Makefile b/regression/extract_type_header/Makefile
index ff9d4c917ec..e1d80b9ed93 100644
--- a/regression/extract_type_header/Makefile
+++ b/regression/extract_type_header/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc ./../../../scripts/extract_type_header.py $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/fault-localization/Makefile b/regression/fault-localization/Makefile
index 4cb6460509e..1bdbf9257bf 100644
--- a/regression/fault-localization/Makefile
+++ b/regression/fault-localization/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -p -c ../../../src/cbmc/cbmc
 
-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) '{}' \;
diff --git a/regression/goto-analyzer-simplify/Makefile b/regression/goto-analyzer-simplify/Makefile
index c94db202865..4f66d4159ea 100644
--- a/regression/goto-analyzer-simplify/Makefile
+++ b/regression/goto-analyzer-simplify/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../chain.sh ../../../src/goto-analyzer/goto-analyzer"
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.java" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
diff --git a/regression/goto-analyzer-taint/Makefile b/regression/goto-analyzer-taint/Makefile
index 91b3447a03c..22e68590597 100644
--- a/regression/goto-analyzer-taint/Makefile
+++ b/regression/goto-analyzer-taint/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
 
-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) '{}' \;
diff --git a/regression/goto-analyzer/Makefile b/regression/goto-analyzer/Makefile
index 2eea907dbbc..22e68590597 100644
--- a/regression/goto-analyzer/Makefile
+++ b/regression/goto-analyzer/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/goto-analyzer/goto-analyzer
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.java" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.gb' -execdir $(RM) '{}' \;
diff --git a/regression/goto-cc-cbmc-shared-options/Makefile b/regression/goto-cc-cbmc-shared-options/Makefile
index 82bd878bd10..0ac48438476 100644
--- a/regression/goto-cc-cbmc-shared-options/Makefile
+++ b/regression/goto-cc-cbmc-shared-options/Makefile
@@ -19,13 +19,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)' $(exclude_broken_windows_tests)
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/goto-cc-cbmc/Makefile b/regression/goto-cc-cbmc/Makefile
index a9c9f36a19d..2d13e8066e1 100644
--- a/regression/goto-cc-cbmc/Makefile
+++ b/regression/goto-cc-cbmc/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/goto-cc-file-local/Makefile b/regression/goto-cc-file-local/Makefile
index 504a174cd81..26ca0a7c48b 100644
--- a/regression/goto-cc-file-local/Makefile
+++ b/regression/goto-cc-file-local/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/goto-cc-goto-analyzer/Makefile b/regression/goto-cc-goto-analyzer/Makefile
index 0ec066d20ef..23840734bd6 100644
--- a/regression/goto-cc-goto-analyzer/Makefile
+++ b/regression/goto-cc-goto-analyzer/Makefile
@@ -18,13 +18,6 @@ tests.log:
 	pwd
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-analyzer/goto-analyzer $(is_windows)'
 
-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) '{}' \;
diff --git a/regression/goto-cc-multi-file/Makefile b/regression/goto-cc-multi-file/Makefile
index 9df480960ec..62825e53956 100644
--- a/regression/goto-cc-multi-file/Makefile
+++ b/regression/goto-cc-multi-file/Makefile
@@ -18,13 +18,6 @@ tests.log:
 	pwd
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/cbmc/cbmc $(is_windows)'
 
-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) '{}' \;
diff --git a/regression/goto-cc-regression-gh-issue-5380/Makefile b/regression/goto-cc-regression-gh-issue-5380/Makefile
index 4b2a4af9d67..fd77d227745 100644
--- a/regression/goto-cc-regression-gh-issue-5380/Makefile
+++ b/regression/goto-cc-regression-gh-issue-5380/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) $(is_windows)'
 
-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) '{}' \;
diff --git a/regression/goto-cl/Makefile b/regression/goto-cl/Makefile
index 91327c5da71..52aed8082af 100644
--- a/regression/goto-cl/Makefile
+++ b/regression/goto-cl/Makefile
@@ -23,13 +23,6 @@ tests.log: ../test.pl
 
 endif
 
-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) '{}' \;
diff --git a/regression/goto-diff/Makefile b/regression/goto-diff/Makefile
index a638e92e577..8bbaa22acb7 100644
--- a/regression/goto-diff/Makefile
+++ b/regression/goto-diff/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/goto-diff/goto-diff
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/goto-gcc/Makefile b/regression/goto-gcc/Makefile
index 3f31e3bc263..412fd745f10 100644
--- a/regression/goto-gcc/Makefile
+++ b/regression/goto-gcc/Makefile
@@ -28,13 +28,6 @@ archives/libour_archive.a: archives/foo.c ../../src/goto-cc/goto-gcc
 		$(AR) rcs libour_archive.a foo.o
 endif
 
-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) '{}' \;
diff --git a/regression/goto-harness/Makefile b/regression/goto-harness/Makefile
index 2d8f196d14b..71166794d86 100644
--- a/regression/goto-harness/Makefile
+++ b/regression/goto-harness/Makefile
@@ -20,13 +20,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../chain.sh $(GOTO_CC_EXE) $(GOTO_HARNESS_EXE) $(CBMC_EXE) $(is_windows)"
 
-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) {} \;
diff --git a/regression/goto-instrument-typedef/Makefile b/regression/goto-instrument-typedef/Makefile
index 821b10c962c..bb29f83f5a5 100644
--- a/regression/goto-instrument-typedef/Makefile
+++ b/regression/goto-instrument-typedef/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument $(is_windows)'
 
-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) '{}' \;
diff --git a/regression/goto-instrument-wmm-core/Makefile b/regression/goto-instrument-wmm-core/Makefile
index ebe8d28a6e9..252caf1602c 100644
--- a/regression/goto-instrument-wmm-core/Makefile
+++ b/regression/goto-instrument-wmm-core/Makefile
@@ -35,10 +35,3 @@ clean:
 	find . -name '*.dot' -execdir $(RM) '{}' \;
 	find . -mindepth 2 -name '*.txt' -execdir $(RM) '{}' \;
 	$(RM) tests.log
-
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
diff --git a/regression/goto-instrument/Makefile b/regression/goto-instrument/Makefile
index 504a174cd81..26ca0a7c48b 100644
--- a/regression/goto-instrument/Makefile
+++ b/regression/goto-instrument/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/goto-interpreter/Makefile b/regression/goto-interpreter/Makefile
index 07b5e3c2690..19f48137920 100644
--- a/regression/goto-interpreter/Makefile
+++ b/regression/goto-interpreter/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument $(is_windows)'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/goto-ld/Makefile b/regression/goto-ld/Makefile
index 7075e37d0d5..cad40ac5712 100644
--- a/regression/goto-ld/Makefile
+++ b/regression/goto-ld/Makefile
@@ -19,13 +19,6 @@ tests.log: ../test.pl ../../src/goto-cc/goto-ld
 	@ln -sf goto-cc ../../src/goto-cc/goto-ld
 endif
 
-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) '{}' \;
diff --git a/regression/invariants/Makefile b/regression/invariants/Makefile
index e7351170e83..d92d1d301d0 100644
--- a/regression/invariants/Makefile
+++ b/regression/invariants/Makefile
@@ -16,13 +16,6 @@ test: driver$(EXEEXT)
 tests.log: ../test.pl driver$(EXEEXT)
 	@../test.pl -e -p -c ../driver
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 driver$(EXEEXT): $(OBJ)
 	$(LINKBIN)
 
diff --git a/regression/k-induction/Makefile b/regression/k-induction/Makefile
index 6fed7a814eb..e39768d3d86 100644
--- a/regression/k-induction/Makefile
+++ b/regression/k-induction/Makefile
@@ -17,13 +17,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/goto-instrument/goto-instrument ../../../src/cbmc/cbmc $(is_windows)'
 
-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) '{}' \;
diff --git a/regression/linking-goto-binaries/Makefile b/regression/linking-goto-binaries/Makefile
index b30817efc08..ce0b301817c 100644
--- a/regression/linking-goto-binaries/Makefile
+++ b/regression/linking-goto-binaries/Makefile
@@ -20,13 +20,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../chain.sh $(GOTO_CC_EXE) $(CBMC_EXE) $(is_windows)"
 
-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) {} \;
diff --git a/regression/memory-analyzer/Makefile b/regression/memory-analyzer/Makefile
index d54cedc111d..2b356d8d126 100644
--- a/regression/memory-analyzer/Makefile
+++ b/regression/memory-analyzer/Makefile
@@ -14,10 +14,3 @@ test:
 
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../chain.sh $(MEMORY_ANALYZER_EXE) $(GOTO_GCC_EXE)"
-
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
diff --git a/regression/smt2_solver/Makefile b/regression/smt2_solver/Makefile
index a4a3fe474aa..324f29bc86e 100644
--- a/regression/smt2_solver/Makefile
+++ b/regression/smt2_solver/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/solvers/smt2_solver
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/smt2_strings/Makefile b/regression/smt2_strings/Makefile
index a4a3fe474aa..324f29bc86e 100644
--- a/regression/smt2_strings/Makefile
+++ b/regression/smt2_strings/Makefile
@@ -6,13 +6,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/solvers/smt2_solver
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/snapshot-harness/Makefile b/regression/snapshot-harness/Makefile
index 0cfabf704a6..088c474e145 100644
--- a/regression/snapshot-harness/Makefile
+++ b/regression/snapshot-harness/Makefile
@@ -12,13 +12,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../chain.sh $(GOTO_CC_EXE) $(GOTO_HARNESS_EXE) $(MEMORY_ANALYZER_EXE) $(CBMC_EXE) $(GOTO_GCC_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) '{}' \;
diff --git a/regression/solver-hardness/Makefile b/regression/solver-hardness/Makefile
index a449d7c6c30..a290f5841bf 100644
--- a/regression/solver-hardness/Makefile
+++ b/regression/solver-hardness/Makefile
@@ -14,13 +14,6 @@ endif
 
 tests.log: ../test.pl test
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	$(RM) tests.log
diff --git a/regression/statement-list/Makefile b/regression/statement-list/Makefile
index a7114ca52b5..96bb17405b0 100644
--- a/regression/statement-list/Makefile
+++ b/regression/statement-list/Makefile
@@ -5,13 +5,6 @@ test:
 
 tests.log: ../test.pl test
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.awl" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	find . -name '*.out' -execdir $(RM) '{}' \;
 	find . -name '*.smt2' -execdir $(RM) '{}' \;
diff --git a/regression/strings/Makefile b/regression/strings/Makefile
index 998ceb16660..31ae35fdf8b 100644
--- a/regression/strings/Makefile
+++ b/regression/strings/Makefile
@@ -12,13 +12,6 @@ testall:
 tests.log: ../test.pl
 	@../test.pl -e -p -c ../../../src/cbmc/cbmc
 
-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) '{}' \;
diff --git a/regression/symtab2gb/Makefile b/regression/symtab2gb/Makefile
index e0ec85eede2..32a16d37382 100644
--- a/regression/symtab2gb/Makefile
+++ b/regression/symtab2gb/Makefile
@@ -9,13 +9,6 @@ test:
 tests.log:
 	@../test.pl -e -p -c '../chain.sh $(exe) ../../../src/symtab2gb/symtab2gb ../../../src/cbmc/cbmc'
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \
diff --git a/regression/systemc/Makefile b/regression/systemc/Makefile
index 2c01f77553e..b578e6d9da9 100644
--- a/regression/systemc/Makefile
+++ b/regression/systemc/Makefile
@@ -31,13 +31,6 @@ test:
 tests.log: ../test.pl
 	@../test.pl -e -p -c "../../../src/cbmc/cbmc --validate-goto-model --validate-ssa-equation" $(excluded_tests)
 
-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) '{}' \;
diff --git a/regression/test-script/Makefile b/regression/test-script/Makefile
index 2e3f1c62f92..cc3a746371f 100644
--- a/regression/test-script/Makefile
+++ b/regression/test-script/Makefile
@@ -16,13 +16,6 @@ tests.log:
 
 	@../test.pl -e -p -c ../program_runner.sh -K
 
-show:
-	@for dir in *; do \
-		if [ -d "$$dir" ]; then \
-			vim -o "$$dir/*.c" "$$dir/*.out"; \
-		fi; \
-	done;
-
 clean:
 	@for dir in *; do \
 		$(RM) tests.log; \