diff --git a/regression/Makefile b/regression/Makefile
index cec34c0b37f..1946f6ce614 100644
--- a/regression/Makefile
+++ b/regression/Makefile
@@ -7,6 +7,7 @@ DIRS = ansi-c \
        goto-analyzer \
        goto-instrument \
        goto-instrument-typedef \
+       strings \
        strings-smoke-tests \
        test-script \
        # Empty last line
diff --git a/regression/strings/Makefile b/regression/strings/Makefile
index f9aee8c563e..47653a6bb95 100644
--- a/regression/strings/Makefile
+++ b/regression/strings/Makefile
@@ -1,6 +1,38 @@
+default: tests.log
 
 test:
-	@../test.pl -c ../../../src/cbmc/cbmc
+	@if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
 
 testfuture:
-	@../test.pl -c ../../../src/cbmc/cbmc -F
+	@if ! ../test.pl -c ../../../src/cbmc/cbmc -CF ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
+
+testall:
+	@if ! ../test.pl -c ../../../src/cbmc/cbmc -CFTK ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
+
+tests.log: ../test.pl
+	@if ! ../test.pl -c ../../../src/cbmc/cbmc ; then \
+		../failed-tests-printer.pl ; \
+		exit 1 ; \
+	fi
+
+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
+
diff --git a/regression/strings/bug-test-gen-095/test.desc b/regression/strings/bug-test-gen-095/test.desc
index a40f9e43402..99d5a8b4bd8 100644
--- a/regression/strings/bug-test-gen-095/test.desc
+++ b/regression/strings/bug-test-gen-095/test.desc
@@ -1,7 +1,8 @@
-KNOWNBUG
+CORE
 test.class
 --refine-strings
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL$
+[.*assertion\.1] .* line 8 .* FAILURE
+^VERIFICATION FAILED$
 --