Modify GitHub Actions patch of Debian 64bit_regression_tests.patch file.

Author: Mark R Tuttle

.github/workflows/debian/64bit_regression_tests.patch

@@ -1,5 +1,14 @@
---- 64bit_regression_tests	2020-06-19 16:40:45.963502746 +0000
-+++ 64bit_regression_tests_patch	2020-06-19 16:42:12.338994730 +0000
+--- /tmp/64bit_regression_tests	2020-07-24 18:34:51.811830486 +0000
++++ 64bit_regression_tests	2020-07-24 18:36:44.827779374 +0000
+@@ -87,7 +87,7 @@
+  <type>union myunion</type>
+ -<full_lhs>byte_extract_little_endian\(u, 0ll?, .*int.*\)</full_lhs>
+ +<full_lhs>byte_extract_little_endian\(u, 0l?l?, .*int.*\)</full_lhs>
+- <full_lhs_value>\d+ll?</full_lhs_value>
++ <full_lhs_value binary="[01]+">\d+ll?</full_lhs_value>
+  <value>\{ \.i=\d+ll? \}</value>
+  <value_expression>
+ --- cbmc-5.12.orig/regression/cbmc/byte_update11/main.c
 @@ -147,14 +147,14 @@
   --harness-type call-function --function test --treat-pointer-as-array arr --associated-array-size arr:sz
   ^EXIT=0$