diff --git a/regression/strings-smoke-tests/max_input_length/Test.class b/regression/strings-smoke-tests/max_input_length/Test.class new file mode 100644 index 00000000000..d01720ffa38 Binary files /dev/null and b/regression/strings-smoke-tests/max_input_length/Test.class differ diff --git a/regression/strings-smoke-tests/max_input_length/Test.java b/regression/strings-smoke-tests/max_input_length/Test.java new file mode 100644 index 00000000000..0616daa4053 --- /dev/null +++ b/regression/strings-smoke-tests/max_input_length/Test.java @@ -0,0 +1,11 @@ +public class Test { + public static void main(String s) { + // This prevent anything from happening if string-max-length is smaller + // than 40 + String t = new String("0123456789012345678901234567890123456789"); + if (s.length() >= 30) + // This should not happen when string-max-input length is smaller + // than 30 + assert false; + } +} diff --git a/regression/strings-smoke-tests/max_input_length/test.desc b/regression/strings-smoke-tests/max_input_length/test.desc new file mode 100644 index 00000000000..0fddf482a9c --- /dev/null +++ b/regression/strings-smoke-tests/max_input_length/test.desc @@ -0,0 +1,7 @@ +CORE +Test.class +--refine-strings --string-max-length 30 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +-- diff --git a/regression/strings-smoke-tests/max_input_length/test1.desc b/regression/strings-smoke-tests/max_input_length/test1.desc new file mode 100644 index 00000000000..00bda639119 --- /dev/null +++ b/regression/strings-smoke-tests/max_input_length/test1.desc @@ -0,0 +1,7 @@ +CORE +Test.class +--refine-strings --string-max-length 45 --string-max-input-length 31 +^EXIT=10$ +^SIGNAL=0$ +^VERIFICATION FAILED$ +-- diff --git a/regression/strings-smoke-tests/max_input_length/test2.desc b/regression/strings-smoke-tests/max_input_length/test2.desc new file mode 100644 index 00000000000..8aaaf205c92 --- /dev/null +++ b/regression/strings-smoke-tests/max_input_length/test2.desc @@ -0,0 +1,7 @@ +CORE +Test.class +--refine-strings --string-max-length 45 --string-max-input-length 20 +^EXIT=0$ +^SIGNAL=0$ +^VERIFICATION SUCCESSFUL$ +--