From 5e02b0cadb80486511a1d6fcb78b95e198f93743 Mon Sep 17 00:00:00 2001 From: "Lukasz A.J. Wrona" Date: Mon, 24 Jul 2017 15:11:42 +0100 Subject: [PATCH] Disable bug-test-gen-095 string refinement test --- regression/strings/bug-test-gen-095/test.desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/strings/bug-test-gen-095/test.desc b/regression/strings/bug-test-gen-095/test.desc index 99d5a8b4bd8..4cabceb1b36 100644 --- a/regression/strings/bug-test-gen-095/test.desc +++ b/regression/strings/bug-test-gen-095/test.desc @@ -1,4 +1,4 @@ -CORE +FUTURE test.class --refine-strings ^EXIT=10$