From da706e2728d96a023b96537e8e0f94241e2e2df0 Mon Sep 17 00:00:00 2001 From: Konrad Weihmann Date: Fri, 10 Nov 2023 04:28:23 +0000 Subject: [PATCH] Update cbmc-native to 5.95.1 Closes #11785 Signed-off-by: Konrad Weihmann --- .../{cbmc-native_5.94.0.bb => cbmc-native_5.95.1.bb} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename recipes-sca/cbmc-native/{cbmc-native_5.94.0.bb => cbmc-native_5.95.1.bb} (96%) diff --git a/recipes-sca/cbmc-native/cbmc-native_5.94.0.bb b/recipes-sca/cbmc-native/cbmc-native_5.95.1.bb similarity index 96% rename from recipes-sca/cbmc-native/cbmc-native_5.94.0.bb rename to recipes-sca/cbmc-native/cbmc-native_5.95.1.bb index d3301e128..7702119b7 100755 --- a/recipes-sca/cbmc-native/cbmc-native_5.94.0.bb +++ b/recipes-sca/cbmc-native/cbmc-native_5.95.1.bb @@ -18,7 +18,7 @@ SRC_URI = "\ file://0001-diable-goto-gcc-regression-tests.patch \ " -SRCREV = "a997e322f16566986ec23c4824519c2fee9a8cc8" +SRCREV = "731338d5d82ac86fc447015e0bd24cdf7a74c442" SRC_URI[minisat2.sha256sum] = "e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40" UPSTREAM_CHECK_GITTAGREGEX = "cbmc-(?P[\d\.a-f]+)"