Upgrade to CBMC 6.2.0

zhassan-aws · Sep 3, 2024 · ea9fa7c · ea9fa7c
1 parent 6cf4ea4
commit ea9fa7c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kani-dependencies b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="6"
-CBMC_MINOR="1"
-CBMC_VERSION="6.1.1"
+CBMC_MINOR="2"
+CBMC_VERSION="6.2.0"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"