Automatic upgrade of CBMC from 6.3.1 to 6.4.0 (model-checking#3689)

Upgrade CBMC to its latest release. Co-authored-by: qinheping <[email protected]> Co-authored-by: Michael Tautschnig <[email protected]>
carolynzech · Nov 6, 2024 · 2565ef6 · 2565ef6
1 parent 4aa739f
commit 2565ef6
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="3"
-CBMC_VERSION="6.3.1"
+CBMC_MINOR="4"
+CBMC_VERSION="6.4.0"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"