Merge pull request #518 from lucasccordeiro/regression-full-slice

Daniel Kroening · web-flow · commit 66ece0560afd · 2017-02-09T10:57:03.000Z
fixed test description of slice02; Closes #515
diff --git a/regression/goto-instrument/slice02/test.desc b/regression/goto-instrument/slice02/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --pointer-check --full-slice
 ^EXIT=0$
