Bump CBMC version (model-checking#2623)

zhassan-aws · Jul 25, 2023 · dfe1e95 · dfe1e95
1 parent 18e657a
commit dfe1e95
Showing 1 changed file with 1 addition and 1 deletion.
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"