added test cases related to string class substring methods

Signed-off-by: Lucas Cordeiro <[email protected]>

Author: lucasccordeiro

regression/strings/SubString01/SubString01.class

@@ -0,0 +1,13 @@
+public class SubString01
+{
+   public static void main(String[] args)
+   {
+      String letters = "automatictestcasegenerationatdiffblue";
+
+      String tmp=letters.substring(20);
+      assert tmp.equals("erationatdiffblue");
+
+      tmp=letters.substring(9, 13);
+      assert tmp.equals("test");
+   }
+}

regression/strings/SubString01/SubString01.java

@@ -0,0 +1,8 @@
+KNOWNBUG
+SubString01.class
+--string-refine
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring

regression/strings/SubString01/test.desc

@@ -0,0 +1,9 @@
+public class SubString02
+{
+   public static void main(String[] args)
+   {
+      String letters = "automatictestcasegenerationatdiffblue";
+      String tmp=letters.substring(20);
+      assert tmp.equals("erationatdifffblue");
+   }
+}

regression/strings/SubString02/SubString02.class

@@ -0,0 +1,8 @@
+KNOWNBUG
+SubString02.class
+--string-refine
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION FAILED$
+--
+^warning: ignoring

regression/strings/SubString02/SubString02.java

@@ -0,0 +1,9 @@
+public class SubString03
+{
+   public static void main(String[] args)
+   {
+      String letters = "automatictestcasegenerationatdiffblue";
+      String tmp=letters.substring(9, 13);
+      assert tmp.equals("teest");
+   }
+}

regression/strings/SubString02/test.desc

@@ -0,0 +1,8 @@
+KNOWNBUG
+SubString03.class
+--string-refine
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION FAILED$
+--
+^warning: ignoring