Merge pull request #611 from diffblue/bump-cbmc3

tautschnig · web-flow · commit 618764445a3c · 2024-07-29T21:01:33.000+02:00
bump CBMC dependency
diff --git a/lib/cbmc b/lib/cbmc
@@ -1 +1 @@
-Subproject commit cbc5079af90652cbbd69753c99b6e425d477a06b
+Subproject commit b3359791bcc1a6651646920c3936ce167465db92
diff --git a/regression/ebmc/range_type/range_type6.desc b/regression/ebmc/range_type/range_type6.desc
@@ -1,8 +1,8 @@
-KNOWNBUG
+CORE broken-smt-backend
 range_type6.smv
 --bound 10
-^EXIT=0$
+^\[spec1\] G x != 4: REFUTED$
+^EXIT=10$
 ^SIGNAL=0$
 --
 --
-The result does not match the expected result.
