pointer encoding: tests changed

kroening · kroening · commit f41ea02b3e1c · 2022-04-28T09:07:56.000+01:00
diff --git a/jbmc/regression/jbmc/address_space_size_limit1/test.desc b/jbmc/regression/jbmc/address_space_size_limit1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Test
 --object-bits 4
 too many addressed objects
