test known to fail

Daniel Kroening · Daniel Kroening · commit 71991f0934c3 · 2017-02-09T21:39:08.000Z
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$
