marked slice16 as KNOWNBUG for now

danpoe · danpoe · commit 21b049eee69e · 2017-02-18T16:18:32.000Z
diff --git a/regression/goto-instrument/slice16/test.desc b/regression/goto-instrument/slice16/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --full-slice --unwind 2
 ^EXIT=0$
