Merge pull request #600 from lucasccordeiro/fixed-string-regression

set EXIT to 10 to all failing string-solver test cases

Author: Daniel Kroening

regression/strings/RegexMatches02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 RegexMatches02.class
 --string-refine --unwind 100
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/RegexSubstitution02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 RegexSubstitution02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StaticCharMethods02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StaticCharMethods02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StaticCharMethods03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StaticCharMethods03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StaticCharMethods04/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StaticCharMethods04.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StaticCharMethods05/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StaticCharMethods05.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderAppend02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderAppend02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderCapLen02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderCapLen02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderCapLen03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderCapLen03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderCapLen04/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderCapLen04.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderChars02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderChars02.class
 --string-refine --unwind 100
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderChars03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderChars03.class
 --string-refine --unwind 100
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderChars04/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderChars04.class
 --string-refine --unwind 100
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderChars05/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderChars05.class
 --string-refine --unwind 100
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderChars06/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderChars06.class
 --string-refine --unwind 100
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderConstructors02/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringBuilderConstructors02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderInsertDelete02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderInsertDelete02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringBuilderInsertDelete03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringBuilderInsertDelete03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringCompare02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringCompare02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringCompare03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringCompare03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringCompare04/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringCompare04.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringCompare05/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringCompare05.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringConcatenation02/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringConcatenation02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringConcatenation03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringConcatenation03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringConcatenation04/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringConcatenation04.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringConstructors02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringConstructors02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringConstructors03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringConstructors03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringConstructors04/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringConstructors04.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringConstructors05/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringConstructors05.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringIndexMethods02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringIndexMethods02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringIndexMethods03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringIndexMethods03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringIndexMethods04/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringIndexMethods04.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringIndexMethods05/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringIndexMethods05.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringMiscellaneous02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringMiscellaneous02.class
 --string-refine --unwind 30
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringMiscellaneous03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringMiscellaneous03.class
 --string-refine --unwind 30
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringStartEnd02/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringStartEnd02.class
 --string-refine --unwind 30
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringStartEnd03/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringStartEnd03.class
 --string-refine --unwind 15
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringValueOf02/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringValueOf02.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringValueOf03/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringValueOf03.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringValueOf04/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringValueOf04.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringValueOf05/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringValueOf05.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringValueOf06/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringValueOf06.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringValueOf07/test.desc

@@ -1,7 +1,7 @@
 KNOWNBUG
 StringValueOf07.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --

regression/strings/StringValueOf08/test.desc

@@ -1,7 +1,7 @@
 FUTURE
 StringValueOf08.class
 --string-refine
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$
 --