Update smoke tests for String.length

Update test description of java_length smoke test
Now detected if the assertion is missing from the verification.

Add new smoke test java_length2

Author: Joel Allred

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

@@ -1,7 +1,9 @@
 CORE
 test_length.class
 --refine-strings
-^EXIT=0$
+^EXIT=10$
 ^SIGNAL=0$
-^VERIFICATION SUCCESSFUL$
+^VERIFICATION FAILED$
+[.*assertion.1] .* line 7 .*: SUCCESS
+[.*assertion.2] .* line 8 .*: FAILURE
 --

regression/strings-smoke-tests/java_length/test_length.class

@@ -5,5 +5,6 @@ public static void main(/*String[] argv*/)
       String s = new String("Abc");
       int l = s.length();
       assert(l == 3);
+      assert(l != 3);
    }
 }

regression/strings-smoke-tests/java_length/test_length.java

@@ -0,0 +1,10 @@
+FUTURE
+test.class
+--refine-strings --function test.check
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+This test currently fails because we do not handle the case where the argument
+'s' is null. This should be handled in the String model.
+The issue number for that is: diffblue/test-gen#500

regression/strings-smoke-tests/java_length2/test.class

@@ -0,0 +1,12 @@
+public class test
+{
+    public static int check(String s)
+    {
+        if(s.equals("abc")){
+            assert s.length() == 3;
+            return 0;
+        }
+        return 1;
+    }
+}
+