Test actually works fine, no bug known here

tautschnig · tautschnig · commit 55d45a0bc06a · 2018-02-27T19:17:57.000Z
diff --git a/regression/goto-instrument/slice19/test.desc b/regression/goto-instrument/slice19/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --full-slice
 ^EXIT=0$
