Description: Some architectures have unsigned char
 Unsigned char changes some traces.
 .
 cbmc (5.84.0-1) unstable; urgency=low
 .
   * New upstream release
   * Includes bugfix for unintentional copy (Closes: #984008)
   * Updated Standards version to 4.6.0 (no changes required)
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/984008

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: 2023-06-03

--- cbmc-5.84.0.orig/regression/cbmc/integral-trace/test.desc
+++ cbmc-5.84.0/regression/cbmc/integral-trace/test.desc
@@ -5,7 +5,7 @@ activate-multi-line-match
 ^EXIT=10$
 ^SIGNAL=0$
 VERIFICATION FAILED
-<full_lhs>u8</full_lhs>\s*<full_lhs_value binary="01100001">97</full_lhs_value>
+<full_lhs>u8</full_lhs>\s*<full_lhs_value binary="01100001">(97|'a')</full_lhs_value>
 <full_lhs>u16</full_lhs>\s*<full_lhs_value binary="0{12}1000">8</full_lhs_value>
 <full_lhs>u32</full_lhs>\s*<full_lhs_value binary="0{27}10000">16ul?</full_lhs_value>
 <full_lhs>u64</full_lhs>\s*<full_lhs_value binary="0{58}100000">32ull?</full_lhs_value>
--- cbmc-5.84.0.orig/regression/cbmc/pointer-offset-01/test.desc
+++ cbmc-5.84.0/regression/cbmc/pointer-offset-01/test.desc
@@ -1,14 +1,14 @@
 CORE
 main.c
 --trace
-^\s*ub.*=\(char \*\)&dynamic_object \+ \d+
+^\s*ub.*=(\(char \*\)&)?dynamic_object \+ \d+
 ^\s*offset_ubp1=\d+ul* \(00000000 1[0 ]+1\)$
 ^VERIFICATION FAILED$
 ^EXIT=10$
 ^SIGNAL=0$
 --
 ^warning: ignoring
-^\s*ub.*=\(char \*\)&dynamic_object \+ -\d+
+^\s*ub.*=(\(char \*\)&)?dynamic_object \+ -\d+
 ^\s*offset_ubp1=\d+ul* \(11111111 1
 --
 Verifies that all offsets use unsigned arithmetic.
