test cbmc/full_slice3 now passes

Daniel Kroening · Daniel Kroening · commit 8bc1b473bceb · 2018-08-23T07:38:44.000+01:00
diff --git a/regression/cbmc/full_slice3/test.desc b/regression/cbmc/full_slice3/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 --full-slice
 ^EXIT=0$
