Test for string printable option on input strings

This checks that the string-printable option only applies to input strings.
This also adds a test to make sure no printable characters can be present
when the option is activated.

Author: romainbrenguier

regression/strings-smoke-tests/java_string_printable/Test.class

@@ -0,0 +1,21 @@
+public class Test {
+
+    public static String check(String t) {
+        String s = t.concat("$£¥\u0000\u0008\u0010\u001F");
+        // This should be disallowed because "\u0000" is not printable
+        assert(!s.equals("\u0000$£¥\u0000\u0008\u0010\u001F"));
+        // This can fail when t="a" which is printable
+        assert(!s.equals("a$£¥\u0000\u0008\u0010\u001F"));
+        return s;
+    }
+
+    public static boolean check_char(String s, char c) {
+        if(s == null)
+            return false;
+        // This should be -1 for all non-printable character
+        int i = s.indexOf(c);
+        boolean b = (i == -1 || (c >= ' ' && c <= '~'));
+        assert(b);
+        return b;
+    }
+}

regression/strings-smoke-tests/java_string_printable/Test.java

@@ -0,0 +1,8 @@
+CORE
+Test.class
+--refine-strings --function Test.check --string-max-length 100 --string-printable --java-assume-inputs-non-null
+^EXIT=10$
+^SIGNAL=0$
+assertion.* file Test.java line 6 .* SUCCESS
+assertion.* file Test.java line 8 .* FAILURE
+--

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

@@ -0,0 +1,7 @@
+CORE
+Test.class
+--refine-strings --function Test.check_char --string-max-length 100 --string-printable
+^EXIT=0$
+^SIGNAL=0$
+assertion.* file Test.java line 18 .* SUCCESS
+--