Merge pull request #6147 from tautschnig/xml-pointer

XML trace test: do not hard-code pointer bit pattern

Author: tautschnig

regression/cbmc/xml-trace2/test.desc

@@ -1,8 +1,8 @@
 CORE
 main.c
 --xml-ui
-<full_lhs_value( binary="0000001000000000000000000000000000000000000000000000000000000000")?>\{ 14, 0 \}</full_lhs_value>
+<full_lhs_value( binary="[01]+")?>\{ 14, 0 \}</full_lhs_value>
 ^EXIT=10$
 ^SIGNAL=0$
 --
-<full_lhs_value( binary="0000001000000000000000000000000000000000000000000000000000000000")?>"\\&#14;"</full_lhs_value>
+<full_lhs_value( binary="[01]+")?>"\\&#14;"</full_lhs_value>