Merge pull request #1182 from LAJW/test-gen-regression-string-equals

Add regression test for issue test-gen/856

Author: peterschrammel

regression/strings-smoke-tests/java_equal/test_2.desc

@@ -0,0 +1,7 @@
+KNOWNBUG
+test_equal_2.class
+--refine-strings --string-max-length 100 --string-max-length 100
+^EXIT=0$
+^SIGNAL=0$
+--
+https://github.com/diffblue/test-gen/issues/856

regression/strings-smoke-tests/java_equal/test_equal_2.java

@@ -0,0 +1,7 @@
+public class test_equal_2
+{
+   public static void main(String s)
+   {
+       assert(!(s.equals("pi") && s.equals("po")));
+   }
+}