Adapt test to check for binary in trace

Thomas Kiley · Thomas Kiley · commit 1e0457cb03ed · 2020-04-24T17:30:32.000+01:00
diff --git a/regression/cbmc/Float24/test.desc b/regression/cbmc/Float24/test.desc
@@ -4,7 +4,7 @@ main.i
 ^EXIT=10$
 ^SIGNAL=0$
 VERIFICATION FAILED
-<full_lhs_value>5\.1</full_lhs_value>
+<full_lhs_value binary="[01]+">5\.1</full_lhs_value>
 --
 ^warning: ignoring
-<full_lhs_value>5\.1l</full_lhs_value>
+<full_lhs_value binary="[01]+">5\.1l</full_lhs_value>
