Merge pull request #1170 from LAJW/test-gen-support

thk123 · web-flow · commit 9af615d9bf90 · 2017-07-24T17:15:11.000+01:00
Disable string refinement test: test-bug-095 (#820 to re-enable)
diff --git 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$
