diffblue · thk123 · Jul 27, 2017 · Jul 25, 2017
diff --git a/regression/strings/StaticCharMethods01/test.desc b/regression/strings/StaticCharMethods01/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+CORE
 StaticCharMethods01.class
 --refine-strings
 ^EXIT=0$

diff --git a/regression/strings/StaticCharMethods02/test.desc b/regression/strings/StaticCharMethods02/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StaticCharMethods02.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 --
 ^warning: ignoring
diff --git a/regression/strings/StaticCharMethods03/test.desc b/regression/strings/StaticCharMethods03/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StaticCharMethods03.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StaticCharMethods04/test.desc b/regression/strings/StaticCharMethods04/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StaticCharMethods04.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 --
 ^warning: ignoring
diff --git a/regression/strings/StaticCharMethods05/test.desc b/regression/strings/StaticCharMethods05/test.desc
@@ -1,8 +1,11 @@
-FUTURE
+CORE
 StaticCharMethods05.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[pointer_dereference\.2\] reference is null in \*this->data: FAILURE$
+^\[.*assertion\.1\] .* line 12 .* FAILURE$
+^\[.*assertion\.2\] .* line 22 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringCompare01/test.desc b/regression/strings/StringCompare01/test.desc
@@ -6,3 +6,5 @@ StringCompare01.class
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+Fails because string.regionMatches is not implemented
diff --git a/regression/strings/StringCompare02/test.desc b/regression/strings/StringCompare02/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringCompare02.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 12 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringCompare03/test.desc b/regression/strings/StringCompare03/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringCompare03.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 12 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringCompare04/test.desc b/regression/strings/StringCompare04/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringCompare04.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringCompare05/test.desc b/regression/strings/StringCompare05/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringCompare05.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+^\[.*assertion\.1\] .* line 9 .* FAILURE$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringConcatenation01/test.desc b/regression/strings/StringConcatenation01/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 StringConcatenation01.class
 --refine-strings
 ^EXIT=0$

diff --git a/regression/strings/StringConcatenation02/test.desc b/regression/strings/StringConcatenation02/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 StringConcatenation02.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringConcatenation03/test.desc b/regression/strings/StringConcatenation03/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringConcatenation03.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
+^\[.*assertion\.1\] .* line 11 .* FAILURE$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringConcatenation04/test.desc b/regression/strings/StringConcatenation04/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringConcatenation04.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 8 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringIndexMethods01/test.desc b/regression/strings/StringIndexMethods01/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+THOROUGH
 StringIndexMethods01.class
 --refine-strings
 ^EXIT=0$

diff --git a/regression/strings/StringIndexMethods02/test.desc b/regression/strings/StringIndexMethods02/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringIndexMethods02.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringIndexMethods03/test.desc b/regression/strings/StringIndexMethods03/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringIndexMethods03.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringIndexMethods04/test.desc b/regression/strings/StringIndexMethods04/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringIndexMethods04.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringIndexMethods05/test.desc b/regression/strings/StringIndexMethods05/test.desc
@@ -3,6 +3,7 @@ StringIndexMethods05.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringMiscellaneous02/test.desc b/regression/strings/StringMiscellaneous02/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringMiscellaneous02.class
 --refine-strings --unwind 30
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 6 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringMiscellaneous03/test.desc b/regression/strings/StringMiscellaneous03/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringMiscellaneous03.class
 --refine-strings --unwind 30
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 11 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringMiscellaneous04/test.desc b/regression/strings/StringMiscellaneous04/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+CORE
 StringMiscellaneous04.class
 --refine-strings --unwind 30
 ^EXIT=0$

diff --git a/regression/strings/StringStartEnd01/test.desc b/regression/strings/StringStartEnd01/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+THOROUGH
 StringStartEnd01.class
 --refine-strings --unwind 30
 ^EXIT=0$

diff --git a/regression/strings/StringStartEnd02/test.desc b/regression/strings/StringStartEnd02/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 StringStartEnd02.class
 --refine-strings --unwind 30
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 13 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringStartEnd03/test.desc b/regression/strings/StringStartEnd03/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+THOROUGH
 StringStartEnd03.class
 --refine-strings --unwind 15
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 13 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf02/test.desc b/regression/strings/StringValueOf02/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringValueOf02.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf03/test.desc b/regression/strings/StringValueOf03/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringValueOf03.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf04/test.desc b/regression/strings/StringValueOf04/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 StringValueOf04.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf05/test.desc b/regression/strings/StringValueOf05/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 StringValueOf05.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf06/test.desc b/regression/strings/StringValueOf06/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 StringValueOf06.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf07/test.desc b/regression/strings/StringValueOf07/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 StringValueOf07.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 8 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf08/test.desc b/regression/strings/StringValueOf08/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+CORE
 StringValueOf08.class
 --refine-strings --string-max-length 100
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/StringValueOf09/test.desc b/regression/strings/StringValueOf09/test.desc
@@ -1,8 +1,9 @@
-FUTURE
+THOROUGH
 StringValueOf09.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/SubString01/test.desc b/regression/strings/SubString01/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 SubString01.class
 --refine-strings
 ^EXIT=0$

diff --git a/regression/strings/SubString02/test.desc b/regression/strings/SubString02/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 SubString02.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/SubString03/test.desc b/regression/strings/SubString03/test.desc
@@ -1,8 +1,9 @@
-KNOWNBUG
+CORE
 SubString03.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
+^\[.*assertion\.1\] .* line 7 .* FAILURE$
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring
diff --git a/regression/strings/bug-test-gen-095/test.desc b/regression/strings/bug-test-gen-095/test.desc
@@ -3,6 +3,6 @@ test.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
-[.*assertion\.1] .* line 8 .* FAILURE
+\[.*assertion\.1\] .* line 8 .* FAILURE
 ^VERIFICATION FAILED$
 --
diff --git a/regression/strings/bug-test-gen-119-2/test.desc b/regression/strings/bug-test-gen-119-2/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+CORE
 StringValueOfLong.class
 --refine-strings
 ^EXIT=0$

diff --git a/regression/strings/bug-test-gen-119/test.desc b/regression/strings/bug-test-gen-119/test.desc
@@ -1,4 +1,4 @@
-FUTURE
+CORE
 StringValueOfBool.class
 --refine-strings
 ^EXIT=0$

diff --git a/regression/strings/java_append_char/test.desc b/regression/strings/java_append_char/test.desc
@@ -1,7 +1,8 @@
-FUTURE
+CORE
 test_append_char.class
 --refine-strings
 ^EXIT=10$
 ^SIGNAL=0$
-^\[.*assertion.1\].* line 15.* FAILURE$
+^VERIFICATION FAILED$
+^\[.*assertion\.1\].* line 15.* FAILURE$
 --