From 0e931416632d602f98cbf0ee5d9f2c0a1adff92f Mon Sep 17 00:00:00 2001
From: Lucas Cordeiro <lucasccordeiro@gmail.com>
Date: Thu, 9 Feb 2017 10:15:28 +0000
Subject: [PATCH] fixed test description of slice02

Signed-off-by: Lucas Cordeiro <lucasccordeiro@gmail.com>
---
 regression/goto-instrument/slice02/test.desc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/regression/goto-instrument/slice02/test.desc b/regression/goto-instrument/slice02/test.desc
index 2d61905c826..362da05d33c 100644
--- 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$