Bump CBMC version (rust-lang#2623)

zhassan-aws · web-flow · commit dfe1e95fee12 · 2023-07-25T10:25:34.000-07:00
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,4 +1,4 @@
-CBMC_VERSION="5.88.0"
+CBMC_VERSION="5.88.1"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.8"
 KISSAT_VERSION="3.0.0"
