Update cbmc-native to 5.95.1

Closes #11785 Signed-off-by: Konrad Weihmann <[email protected]>
priv-kweihmann · Nov 10, 2023 · da706e2 · da706e2
1 parent 62f2d2d
commit da706e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...pes-sca/cbmc-native/cbmc-native_5.94.0.bb → ...pes-sca/cbmc-native/cbmc-native_5.95.1.bb b/...pes-sca/cbmc-native/cbmc-native_5.94.0.bb → ...pes-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<pver>[\d\.a-f]+)"