pointer encoding: tests changed

kroening · kroening · commit 80b9a1304a22 · 2022-04-28T11:08:25.000+01:00
diff --git a/jbmc/regression/jbmc-strings/StringFormatHex/test-hex-eval-upper.desc b/jbmc/regression/jbmc-strings/StringFormatHex/test-hex-eval-upper.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Test
 --function Test.testHexEvalUpper --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar` --trace
 ^EXIT=10$
diff --git a/jbmc/regression/jbmc-strings/StringFormatHex/test-hex-eval.desc b/jbmc/regression/jbmc-strings/StringFormatHex/test-hex-eval.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 Test
 --function Test.testHexEval --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar` --trace
 ^EXIT=10$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`Test`
`3`	`3`	--function Test.testHexEvalUpper --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar ../../../lib/java-models-library/target/cprover-api.jar` --trace
`4`	`4`	`^EXIT=10$`