Bump CBMC to 5.70 (rust-lang#1888)

zhassan-aws · web-flow · commit cebc5751bbd9 · 2022-11-11T15:45:15.000-05:00
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,3 +1,3 @@
-CBMC_VERSION="5.69.1"
+CBMC_VERSION="5.70.0"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.6"
