diff --git a/Makefile b/Makefile
index 56cadfd8e46da864c572aef1678d146c52f6b80b..33900be7692a2e3a368a74ee08aeeb36a78e7b03 100644
--- a/Makefile
+++ b/Makefile
@@ -108,7 +108,7 @@ setup:
 
 .PHONY: test1
 test1: libcore
-	python3 test/main.py test/testsuite/ouroboros/string_test/RT0001-rt-string-ReflectString/ReflectString.java --test_cfg=test/testsuite/ouroboros/test.cfg --fail-verbose --debug
+	python3 test/main.py test/testsuite/ouroboros/string_test/RT0001-rt-string-ReflectString/ReflectString.java --test_cfg=test/testsuite/ouroboros/test.cfg --verbose --debug
 
 .PHONY: test_irbuild
 test_irbuild: install