Disabling slice tests

Created issue diffblue/cbmc-toyota#116 to renable these tests.

Author: thk123

regression/goto-instrument/slice02/test.desc

@@ -1,8 +1,10 @@
-CORE
+KNOWNBUG
 main.c
 --pointer-check --full-slice
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+Issue to re-enable these tests: diffblue/cbmc-toyota#116

regression/goto-instrument/slice03/test.desc

@@ -1,8 +1,10 @@
-CORE
+KNOWNBUG
 main.c
 --unwind 10 --pointer-check --bounds-check --full-slice
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+Issue to re-enable these tests: diffblue/cbmc-toyota#116

regression/goto-instrument/slice22/test.desc

@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 --full-slice --add-library
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Issue to re-enable these tests: diffblue/cbmc-toyota#116

regression/goto-instrument/slice23/test.desc

@@ -1,6 +1,9 @@
-CORE
+KNOWNBUG
 main.c
 --full-slice --add-library
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
+--
+--
+Issue to re-enable these tests: diffblue/cbmc-toyota#116