pointer encoding: tests changed

Author: kroening

jbmc/regression/jbmc-strings/char_escape/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Test
 --function Test.test --trace --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar` --json-ui
 ^EXIT=10$

jbmc/regression/jbmc/assume-inputs-non-null/class_assume.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 My
 --function My.classArg --java-assume-inputs-non-null
 ^EXIT=10$

jbmc/regression/jbmc/lambda-void-return-type/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Test
 --function Test.test --classpath `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar`
 ^EXIT=10$

jbmc/regression/jbmc/no-main-args-elements-maybe-null2/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Main
 --function Main.main
 ^EXIT=10$

jbmc/regression/jbmc/string_field_aliasing/test.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Cart
 --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar` --trace --java-max-vla-length 96 --java-unwind-enum-static --max-nondet-string-length 200 --unwind 4 --function Cart.checkTax4 --string-printable
 ^EXIT=10$

jbmc/regression/strings-smoke-tests/java_parseint/test4.desc

@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Test4
 --max-nondet-string-length 1000 --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar` --function Test4.main --trace
 ^EXIT=10$