Update to latest CBMC version

model-checking · Oct 30, 2023 · 7e96afc · 7e96afc
1 parent 81ec454
commit 7e96afc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="5"
-CBMC_MINOR="94"
-CBMC_VERSION="5.94.0"
+CBMC_MINOR="95"
+CBMC_VERSION="5.95.1"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"