diff --git a/regression/cbmc/xml-trace2/test.desc b/regression/cbmc/xml-trace2/test.desc
index 0bc0b8bad23..18273276e8f 100644
--- a/regression/cbmc/xml-trace2/test.desc
+++ b/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>