From 6e2ee6f0cccbe4a0bfcba2196f3c2c74da41c121 Mon Sep 17 00:00:00 2001 From: "Lukasz A.J. Wrona" Date: Mon, 31 Jul 2017 16:09:39 +0100 Subject: [PATCH] Add regression test for issue test-gen/856 --- regression/strings-smoke-tests/java_equal/test_2.desc | 7 +++++++ .../strings-smoke-tests/java_equal/test_equal_2.java | 7 +++++++ 2 files changed, 14 insertions(+) create mode 100644 regression/strings-smoke-tests/java_equal/test_2.desc create mode 100644 regression/strings-smoke-tests/java_equal/test_equal_2.java diff --git a/regression/strings-smoke-tests/java_equal/test_2.desc b/regression/strings-smoke-tests/java_equal/test_2.desc new file mode 100644 index 00000000000..bfa989a3695 --- /dev/null +++ b/regression/strings-smoke-tests/java_equal/test_2.desc @@ -0,0 +1,7 @@ +KNOWNBUG +test_equal_2.class +--refine-strings --string-max-length 100 --string-max-length 100 +^EXIT=0$ +^SIGNAL=0$ +-- +https://github.com/diffblue/test-gen/issues/856 diff --git a/regression/strings-smoke-tests/java_equal/test_equal_2.java b/regression/strings-smoke-tests/java_equal/test_equal_2.java new file mode 100644 index 00000000000..931ed71471a --- /dev/null +++ b/regression/strings-smoke-tests/java_equal/test_equal_2.java @@ -0,0 +1,7 @@ +public class test_equal_2 +{ + public static void main(String s) + { + assert(!(s.equals("pi") && s.equals("po"))); + } +}