Tests for new option string-max-input-length

Author: romainbrenguier

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

@@ -0,0 +1,8 @@
+public class Test {
+    public static void main(String s) {
+        // Causes this function to be ignored if string-max-length is
+        // less than 40
+        String t = new String("0123456789012345678901234567890123456789");
+        assert s.length() < 30;
+    }
+}