Update cbmc-native to cbmc-5.31.0

Closes #5738 Signed-off-by: Konrad Weihmann <[email protected]>
priv-kweihmann · May 27, 2021 · c1536bd · c1536bd
1 parent 0281e81
commit c1536bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...pes-sca/cbmc-native/cbmc-native_5.30.1.bb → ...pes-sca/cbmc-native/cbmc-native_5.31.0.bb b/...pes-sca/cbmc-native/cbmc-native_5.30.1.bb → ...pes-sca/cbmc-native/cbmc-native_5.31.0.bb
@@ -13,7 +13,7 @@ SRC_URI = "git://github.com/diffblue/cbmc.git;protocol=https;branch=develop \
            file://0001-diable-goto-gcc-regression-tests.patch \
            file://cbmc.sca.description"
 
-SRCREV = "be9b3b4161e8a81a0b31ae9357b5b285a4968199"
+SRCREV = "c21dfd987056cce3b133b4a01e00f2260249ae98"
 
 UPSTREAM_CHECK_GITTAGREGEX = "(?P<pver>cbmc-[\d\.a-f]+)"