Adding tests for issue diffblue/test-gen#119

Author: romainbrenguier

regression/strings/bug-test-gen-119-2/StringValueOfLong.class

@@ -0,0 +1,9 @@
+public class StringValueOfLong
+{
+    public static void main()
+    {
+        long longValue = 10000000000L; // L suffix indicates long
+        String tmp=String.valueOf(longValue);
+        assert tmp.equals("10000000000");
+    }
+}

regression/strings/bug-test-gen-119-2/StringValueOfLong.java

@@ -0,0 +1,7 @@
+FUTURE
+StringValueOfLong.class
+--refine-strings
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--

regression/strings/bug-test-gen-119-2/test.desc

@@ -0,0 +1,10 @@
+public class StringValueOfBool
+{
+    public static void main()
+    {
+        boolean booleanValue = false;
+
+        String tmp=String.valueOf(booleanValue);
+        assert tmp.equals("false");
+    }
+}

regression/strings/bug-test-gen-119/StringValueOfBool.class

@@ -0,0 +1,7 @@
+FUTURE
+StringValueOfBool.class
+--refine-strings
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--