Merge pull request #1186 from jasigal/test/change-string-contains

Shortened the string contains test.

Author: peterschrammel

regression/strings-smoke-tests/java_contains/test.desc

@@ -1,12 +1,11 @@
 CORE
 test_contains.class
 --refine-strings --string-max-length 100
-^EXIT=10$
+^EXIT=0$
 ^SIGNAL=0$
 ^\[.*assertion.1\].* line 8.* SUCCESS$
 ^\[.*assertion.2\].* line 9.* SUCCESS$
-^\[.*assertion.3\].* line 12.* FAILURE$
-^\[.*assertion.4\].* line 13.* FAILURE$
-^VERIFICATION FAILED$
+^VERIFICATION SUCCESSFUL$
+--
 --
 Issue: diffblue/test-gen#201

regression/strings-smoke-tests/java_contains/test_contains.class

@@ -8,10 +8,12 @@ public static void main(String x)
       assert(s.contains(u));
       assert(!s.contains(t));
 
-      String z = new String(x);
-      if (z.length() > 3)
-        assert(t.contains(z));
-      else
-        assert(z.contains(u));
+      // Too slow now after constant unfolding was deleted due to invalidity.
+      // May be fast enough in the future though.
+      // String z = new String(x);
+      // if (z.length() > 3)
+      //  assert(t.contains(z));
+      // else
+      //  assert(z.contains(u));
    }
 }

regression/strings-smoke-tests/java_contains/test_contains.java

@@ -1,13 +1,11 @@
 KNOWNBUG
-test_string_printable.class
---refine-strings --string-printable
-^EXIT=10$
+test_contains.class
+--refine-strings --string-max-length 100 --string-printable
+^EXIT=0$
 ^SIGNAL=0$
 ^\[.*assertion.1\].* line 8.* SUCCESS$
 ^\[.*assertion.2\].* line 9.* SUCCESS$
-^\[.*assertion.3\].* line 12.* FAILURE$
-^\[.*assertion.4\].* line 13.* FAILURE$
-^VERIFICATION FAILED$
+^VERIFICATION SUCCESSFUL$
 --
 --
 This should create a huge formula and run out of memory.