Update cbmc-native to 5.87.0

Closes #11658

Signed-off-by: Konrad Weihmann <[email protected]>

recipes-sca/cbmc-native/cbmc-native_5.86.0.bb → recipes-sca/cbmc-native/cbmc-native_5.87.0.bb

@@ -18,7 +18,7 @@ SRC_URI = "\
     file://0001-diable-goto-gcc-regression-tests.patch \
 "
 
-SRCREV = "892c792b43025feac551a95223b30f06b2c6a6dc"
+SRCREV = "5650fb9e116291b44da32341db4288a3bcff0fac"
 SRC_URI[minisat2.sha256sum] = "e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40"
 
 UPSTREAM_CHECK_GITTAGREGEX = "cbmc-(?P<pver>[\d\.a-f]+)"

recipes-sca/cbmc-native/files/0001-diable-goto-gcc-regression-tests.patch

@@ -1,4 +1,4 @@
-From 5e8ed1940983f1eed4cf039ed118bf8ab07fea2a Mon Sep 17 00:00:00 2001
+From d9505099407019df3e092a51358ffefefc990b76 Mon Sep 17 00:00:00 2001
 From: Konrad Weihmann <[email protected]>
 Date: Wed, 10 Feb 2021 15:24:11 +0100
 Subject: [PATCH] diable goto-gcc regression tests
@@ -7,23 +7,21 @@ as they keep failing for unknown reasons
 
 Upstream-Status: Inappropriate [disable feature]
 Signed-off-by: Konrad Weihmann <[email protected]>
+
 ---
  regression/CMakeLists.txt | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/regression/CMakeLists.txt b/regression/CMakeLists.txt
-index c94edda39..4a58ec1df 100644
+index d337bd05c0..67e8750008 100644
 --- a/regression/CMakeLists.txt
 +++ b/regression/CMakeLists.txt
-@@ -41,7 +41,7 @@ add_subdirectory(goto-diff)
- add_subdirectory(test-script)
- add_subdirectory(goto-analyzer-taint)
+@@ -58,7 +58,7 @@ add_subdirectory(goto-bmc/goto-bmc-symex-ready-goto)
+ add_subdirectory(goto-bmc/goto-bmc-non-symex-ready-goto)
+ add_subdirectory(goto-bmc)
  if(NOT WIN32)
 -  add_subdirectory(goto-gcc)
 +  # add_subdirectory(goto-gcc)
  else()
    add_subdirectory(goto-cl)
  endif()
--- 
-2.25.1
-